== Свойства отношений ==
Для <math>R \subset A^2</math> определены свойства:
# * [[Рефлексивное отношение|Рефлексивность]]: <math>\mathcal {8} x \in A \ (xRx)</math> # * [[Рефлексивное отношение|Антирефлексивность]]: <math>\mathcal {8} x \in A \ (\neg xRx)</math># * [[Симметричное отношение|Симметричность]]: <math>\mathcal {8} x,y \in A \ (xRy \Rightarrow yRx)</math># * [[Антисимметричное отношение|Антисимметричность]]: <math>\mathcal {8} x,y \in A \ (xRy \land yRx \Rightarrow x = y)</math># * [[Транзитивное отношение|Транзитивность]]: <math>\mathcal {8} x,y,z \in A \ (xRy \land yRz \Rightarrow xRz)</math># * Полнота(линейность): <math>\mathcal {8} x,y \in A \ (xRy \lor yRx)</math># * [[Антисимметричное отношение|Ассимметричность]]: <math>\mathcal {8} x,y \in A \ (xRy \Rightarrow \neg (yRx))</math>
== Виды отношений ==
Выделяются следующие виды отношений:
