15.8. Definíció
Reláció kompatibilitása művelettel
Legyen S egy tetszőleges halmaz, amelyen értelmezve van egyrészt egy kétváltozós művelet – amelyet jelöljünk most a * szimbólummal –, másrészt pedig egy kétváltozós reláció – amelyet jelöljünk most a \simeq szimbólummal. Amennyiben S tetszőleges a, b és c elemeire az a\simeq b reláció teljesülése esetén
\begin{aligned}
a*c &\simeq b*c \\
c*a &\simeq c*b
\end{aligned}
is teljesül, akkor azt mondjuk, hogy a \simeq reláció kompatibilis a * művelettel.
♣