Sea
un retículo.
Demostrar que la fórmula
define una relación de orden.
y se cumple la reflexividad.
y se cumple la antisimetricidad
y se cumple la transitividad.
un retículo.
Demostrar que la fórmuladefine una relación de orden.
RespuestaUna relación de orden cumple las siguientes propiedades :
Reflexiva :Tenemos entonces :
Antisimétrica :
Transitiva :
y se cumple la reflexividad.
y se cumple la antisimetricidad
y se cumple la transitividad.