¿Qué son las relaciones reflexivas y antisimétricas?
Una relación reflexiva sobre un conjunto es una relación binaria que se cumple para todos los elementos del conjunto. En otras palabras, una Relación Reflexiva es aquella en la que cada elemento está relacionado consigo mismo, lo que significa que para todo x ∈ A, (x,x) ∈ R. Se dice que una relación es Relación Antisimétrica para una relación binaria R en un conjunto A, si no hay un par de elementos distintos o diferentes de A, cada uno de los cuales está relacionado por R con el otro. De manera formal, la relación R es antisimétrica, específicamente si para todo a y b en A, si R(x, y) con x ≠ y, entonces R(y, x) no debe cumplirse, o, de manera equivalente, si R( x, y) y R(y, x), entonces x = y.