Теория множеств - бинарные отношения

2.5. Бинарные отношения

Так как бинарные отношения для нас имеют особую важность, то для них будет дано более подробное описание.

Бинарное отношение есть любое подмножество произведения двух множеств. И наоборот, любое подмножество произведения множеств определяет бинарное отношение. Оно может быть как активным оператором так и пассивным операндом; таким образом, возникает возможность операций над операциями с богатыми возможностями динамической структуры.