Asi Fue

Relación matemática
Una relación [pic], de los conjuntos [pic]es un subconjunto del producto cartesiano
[pic]
Una Relación binaria es una relación entre dos conjuntos.
El concepto de relaciónimplica la idea de enumeración, de algunos de los elementos, de los conjuntos que forman tuplas.
[pic]
Un caso particular es cuando todos los conjuntos de la relación son iguales: [pic]en este caso serepresenta [pic]como [pic], pudiéndose decir que la relación pertenece a A a la n.
[pic]
Tipos de relaciones
En las relaciones se diferencian los tipos según el número de conjuntos en el productocartesiano, que es el número de términos de la relación:
Relación unaria: un solo conjunto [pic]
Relación binaria: con dos conjuntos [pic]
Relación ternaria: con tres conjuntos [pic]
Relacióncuaternaria: con cuatro conjuntos [pic]
...
Relación n-aria: caso general con n conjuntos [pic]

Relación reflexiva

[pic]
[pic]

Una relación binaria R sobre un conjunto A, es reflexiva o reflejasi todo elemento de A está relacionado consigo mismo mediante R.
Es decir,
[pic]
En tal caso, decimos que R cumple con la propiedad de reflexividad.
La aplicación de cualquier relación R sobre unconjunto A, se representa con el par ordenado (A, R).
Cuando una relación es lo opuesto a una reflexiva, es decir, cuando ningún elemento de A está relacionado consigo mismo mediante R, entoncesdecimos que es irreflexiva, antirreflexiva o antirrefleja, lo que denotamos formalmente por:
[pic]
En este caso, decimos que R cumple con la propiedad de antirreflexividad.

Ejemplos
Sea A unconjunto cualquiera:
Sea [pic], [pic]es reflexiva, porque todo conjunto esta contenido en sí mismo.
Sea [pic], [pic]("mayor o igual que") es reflexiva, pero [pic]("mayor estricto que") no lo es.
Sea[pic], [pic]("menor o igual que") es reflexiva, pero [pic]("menor estricto que") no lo es.
Sea [pic], [pic](la igualdad matemática), es reflexiva.
Sea [pic], [pic](la inclusión de conjuntos), es...