Функция — частный случай бинарного отношения?

Answer 1

Кстати, можно было бы, наверное, сделать и наоборот: определить бинарное отношение на паре множеств X и Y, как отображение X x Y - { 0, 1 }. Пришлось бы перепиливать определения.