Я понимаю, что мне нужно разбить мн-во на непересекающиеся классы эквивалентных элементов. У меня никак не получалось представить эти классы, кроме как через слои. Но, чтоб задать слой, нужно задать отображение. Плюс эта задача пункт
d упражнения 2, в котором даётся определение слоя. Логично предположить, что я должен его использовать. У меня не отношение эквивалентности получается из функции, а функция строится для произвольного отношения эквивалентности. По крайней мере была такая задумка. Т.е. изначально ввожу произвольное отношение эквивалентности

, а затем уже определяю отображение

как такое, что для любых двух элементов

если

Эта запись у меня выглядит таким образом: Пусть

. Тогда у меня получается построено отображение, слои которого есть классы непересекающихся эквивалентных элементов произвольного отношения эквивалентности. Функцию отображать можно в

или в

. Это не принципиально. Главное, чтобы элементов в отображаемом мн-ве было не меньше чем классов в

.
(Оффтоп)
B@R5uk, dgwuqtj Спасибо! Попробую