Cuando una relación es lo opuesto a una reflexiva, es decir, cuando ningún elemento de "A" está relacionado consigo mismo mediante "R", entonces se dice que es irreflexiva, antirreflexiva o antirrefleja, lo que denotamos formalmente por: