Propiedad antirreflexiva, también llamada irreflexiva:
Una relación R sobre un conjunto A es antirreflexiva si para todo x ∈ A se cumple(x,x)∉ R decir que ∀ x ∈ A se cumple que x no está relacionado con sigo mismo
Ejemplo:R={ (1,2), (2,1), (1,3), (1,4), (2,3), (2,4), (3,4) }