Relaciones Reflexivas

Una relación R en un conjunto es reflexiva si y sólo si la diagonal principal de la matriz asociada a la relación tiene únicamente unos.

De la misma forma es Antirreflexiva si tiene solamente ceros.

Una relación en A es

Reflexiva: Si todo elemento en A está relacionado con sigo mismo, con símbolos:
(∀ x ∈ A) (x,x) ∈ R

Antirreflexiva: Si ningún elemento en A está relacionado con sigo mismo, con símbolos:
(∀ x ∈ A) (x,x) ∉ R