бинарное отношение

Бинарным отношением на множестве  называется подмножество  декартова квадрата  (т. е. подмножество множества всех упорядоченных пар элементов из ). В пределах этой статьи будет означать, что .