Бинарное отношение является отношением эквивалентности