Sea un retículo. Demostrar que la fórmula



define una relación de orden.

Respuesta 3

Una relación de orden cumple las siguientes propiedades :

Reflexiva :

Antisimétrica :

Transitiva :

Tenemos entonces :



y se cumple la reflexividad.



y se cumple la antisimetricidad



y se cumple la transitividad.