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

