Математические отношения: эквивалентность на множестве