Исправление Int0l, (текущая версия) :
Да, можно считать что отношение эквивалентности биективно. Кстати как это у вас математиков правильно записывается.(Не логике первого порядка, а в теории категорий).
Исходная версия Int0l, :
Да, можно считать что отношение эквивалентности биективно. Кстати как это у вас математиков правильно записывается.