youproof.orgDeep Math. Human Access.

15.8. Definíció

Reláció kompatibilitása művelettel

Legyen SS 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 SS tetszőleges aa, bb és cc elemeire az a≃ba\simeq b reláció teljesülése esetén

a∗c≃b∗cc∗a≃c∗b\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.

♣