Отношение $\sim$ на $M$ называется отношением эквивалентности, если оно рефлексивно, симметрично и транзитивно.