Nombre
Nombre
Nombre
Relación de equivalencia
Es reflexiva porque contiene todos los pares de la forma y son:
Es simétrica porque por cada par del tipo contenida en también debe contener a
. Como por ejemplo:
El resto de los pares de la relación cumple con la misma intensión de la
propiedad simétrica.
Es transitiva porque el juego de pares y contenidas en implica que deba incluir
el par en la relación.