Відношення $R$ на множині $A$ називають іррефлексивним, якщо для будь-якого $a\in A$ виконується $(a,a)\notin R$ .