Эквивалентые множества - определение