Tenen que cumplir Reflesiva, Simetrica y Transitiva y establecen clases de
equivalencia…esto es el conjunto total se puede dividir en subconjuntos disjuntos
Para que se cumpla la
Reflexividad, debemos verificar que todos los números del dominio y del rango tienen que aparecer como parejas (a,a) en la definición de la relación.
Para que se cumpla la Simetría, debemos
verificar que todas las parejas que definen la relación, tienen su “pareja espejo” en la relación. Para que se cumpla la Transitividad, debemos verificar que todas las relaciones indirectas entre el conjunto 1 y tres, tienen una relación directa en la relación. Ejemplo del conjunto uno seleccionamos el uno, que se relaciona con el con el tres del segundo conjunto, y este con el cuatro del tercer conjunto. Pues debe existir una relación directa entre el 1 y el 4 -> (1,4) y así para todos. Esta cumple la transitividad.