ewert в сообщении #188071 писал(а):
и ни фига подобного, бинарное отношение определено на декартовом произведении множества самого на себя.
Во-первых это не совсем так. См. отношение инцидентности в проективных плоскостях.
Ну да - бывает, но это уже договорённость. Обычно понятие отношения подразумевает подмножество декартовой степени некоторого множества, если бинарное - то декартового квадрата. Если говорить о бинарном отношении, как о подмножестве декартового произведения двух различных множеств, то тут есть два выхода:
1) Расширить понятие и говорить о двуосновном отношении, как подмножестве декартового произведения различных, в том числе и пересекающихся по пустому множеств.
2) Объединить множества (все курицы и яйца в одну корзину) и рассматривать отношение, как подмножество в декартовом квадрате этого объединения.
Каждый из подходов имеет свои преимущества. Навскидку я не вижу, какой из этих подходов лучше в иследовании проблемы чего надо есть раньше - курицу или яйцо. Самое простое - на что хватило, то и есть надо, лучше раньше, чем позже.