2.11 Finura de las relaciones de orden a) Sea E = N, compárese la finura de las dos relaciones siguientes: x w1 y ⇔ x | y y x w2 y ⇔ x ≤ y, b) D...

2.11 Finura de las relaciones de orden


a) Sea E = N, compárese la finura de las dos relaciones siguientes: x w1 y
⇔ x | y y x w2 y ⇔ x ≤ y,
b) Demuéstrese que la relación ser más fina que definida en Ω, es una relación
de orden.
c) Compruébese la existencia de un máximo en Ω para ésta relación de
orden.
d) Sea E un conjunto de dos elementos. Constrúyase el conjunto de todas
las relaciones de orden en E y ordénese por finura.