Una relación binaria: R, entre los elementos de un conjunto: A, es una relación irreflexiva, también llamada: antirreflexiva o antirrefleja, si ningún elemento del conjunto esta relacionado consigo mismo: Para todo a que pertenezca a A, (a,a) no pertenece R. Que también puede expresarse No existe ningún elemento a en el conjunto A que cumpla que: (a,a) pertenezca a R.