Sea 𝒰 ≠ ∅ en 𝑃(𝒰) se define la relación T mediante 𝑎𝑇𝑏 ⟺ 𝑏 ⊆ 𝑎.

Demostrar que T es de orden

Solución:

i) p.d. T es Refleja

𝑎𝑇𝑎 ⟺ 𝑎 ⊆ 𝑎 𝑑𝑒𝑓. 𝑇

∴ 𝑇 𝑒𝑠 𝑅𝑒𝑓𝑙𝑒𝑗𝑎

ii) p.d. T es Antisimetrica

𝑎𝑇𝑏 ∧ 𝑏𝑇𝑎 ⟹ 𝑎 = 𝑏 ∀ 𝑎, 𝑏 ∈ 𝑃(𝒰)

En efecto:

𝑎𝑇𝑏 ∧ 𝑏𝑇𝑎 ⟺ 𝑏 ⊆ 𝑎 ∧ 𝑎⊆𝑏 𝑝𝑜𝑟 𝑑𝑒𝑓. 𝑇

⟹ 𝑎 = 𝑏 𝑝𝑜𝑟def 𝑑𝑒 𝑖𝑔𝑢𝑎𝑙𝑑𝑎𝑑 𝑑𝑒 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜𝑠

∴ 𝑇 𝑒𝑠 𝐴𝑛𝑡𝑖𝑠𝑖𝑚𝑒𝑡𝑟𝑖𝑐𝑎

iii) p.d. T es Transitiva

𝑎𝑇𝑏 ∧ 𝑏𝑇𝑐 ⟹ 𝑎𝑇𝑐 ∀ 𝑎, 𝑏, 𝑐 ∈ 𝑃(𝒰)

En efecto:

𝑎𝑇𝑏 ∧ 𝑏𝑇𝑐 ⟹ 𝑏⊆𝑎 ∧ 𝑐 ⊆𝑏 def. 𝑇

⟹ 𝑐 ⊆ 𝑎 𝑡𝑟𝑎𝑛𝑠𝑖𝑡𝑖𝑣𝑖𝑑𝑎𝑑 𝑑𝑒 ⊆

⟹ 𝑎𝑇𝑐 def. 𝑇

∴ 𝑇 𝑒𝑠 𝑇𝑟𝑎𝑛𝑠𝑖𝑡𝑖𝑣𝑎

∴ 𝑇 𝑒𝑠 𝑑𝑒 𝑜𝑟𝑑𝑒𝑛