Отношения - это математическая структура для задания взаимосвязи между элементами
Унарные (одноместные) отношения - подмножества R элементов множества М обладающих заданным признаком.
Бинарные (двухместные) отношения - подмножества R декартового произведения М х М
n-местные отношения, например отношения между тройками элементов - трехместные (тернарные) отношения и т.д.
Под п-местным отношением понимают подмножество R прямого произведения п множеств: R М1 х М2 х ... х Мп.
Способы задания бинарных отношений - любые способы задания множеств (так как отношения определены выше как подмножества некоторых множеств - прямых произведений). Отношения, определенные на конечных множествах, обычно задаются:
1. Перечисление элементов.
2. Матрицей
3.Характеристическим свойством.
4. Графический способ.
Особые виды бинарных отношений:
- Универсальные отношения Lm=MxM
- Пустое отношение - ни одна пара не связана отношением Om - ни одна пара не связана отношением(пустое множество)
- Единичное отношение - только сами с собой Im