Антисимметричность

Антирефлексивность.

Основные свойства отношений.

1. Рефлексивность.

Отношение называется рефлексивным, если для всех x выполняется условие: xjx или DMÍF.

Отношение называется антирефлексивным, если для всех x выполняется условие: ùxjx (символ “ ù“ означает “не выполняется”) или .

3. Симметричность.

Отношение называется симметричным, если для всех x выполняется условие: xjy Þ yjx или Ф=Ф^-1.

Отношение называется антисимметричным, если для всех x выполняется условие: xjy и x¹y Þù yjx или ÍDM.