Антирефлексивне відношення
Матеріал з Вікіпедії — вільної енциклопедії.
В математиці, бінарне відношення R на множині X є антирефлексивним якщо для жодного з a ∈ X не виконується aRa, тобто
.
Відношення, в якому aRa виконується для будь-якого з a ∈ X, називається рефлексивним