Основные свойства бинарных отношений

Бинарные отношения служат простым и удобным аппаратом для весьма широкого круга задач. Язык бинарных и n-арных отношений используется во многих прикладных (для математики) областях, например, таких как математическая лингвистика, математическая биология, математическая теория баз данных. Широкое использование языка бинарных отношений легко объясняется – геометрический аспект теории бинарных отношений есть попросту теория графов. Бинарным отношением, определенным на паре множеств X и Y, называется любое подмножество прямого произведения множеств X x Y.

Введение
1)Бинарные отношения
2)Свойства бинарного отношения
3)Инверсия и композиция бинарных отношений
4)Функциональные отношения
5)Виды функциональных отношений
6)Теорема
7)Доказательство