Отношение $\sim$ на $M$ называется 1) рефлексивным, если $a \in M \Rightarrow a \sim a$; 2) симметричным, если для любых $a,b \in M$ выполнено $a \sim b \Rightarrow b \sim a$; 3) транзитивным, если для любых $a,b,c \in M$ из $a \sim b$ и $b \sim c$ следует $a \sim c$.