Что такое классы эквивалентности и как определяется разбиение на них?