Антирефлексивне відношення

Матеріал з Вікіпедії — вільної енциклопедії.

В математиці, бінарне відношення R на множині X є антирефлексивним якщо для жодного з aX не виконується aRa, тобто

\forall a \in X,\ \lnot (a R a).

Відношення, в якому aRa виконується для будь-якого з aX, називається рефлексивним