Para ver que⋀ A≅ p, necesitamos mostrar que p ≤ a para todos a ∈A y que si q ≤ a para todos a ∈A entonces q ≤ p . Pero la única a∈ A es a = p, así que ambas son o...Para ver que⋀ A≅ p, necesitamos mostrar que p ≤ a para todos a ∈A y que si q ≤ a para todos a ∈A entonces q ≤ p . Pero la única a∈ A es a = p, así que ambas son obvias. Este último es solo el hecho de que p ′ ≤ g (f (p ′)) para cualquier p ′, aplicado con g (f (p)) en lugar de p′. El primero usa que f (g (q)) ≤ q, con f (p) sustituido por q: esto da f (g (f (p))) ≤ f (p), y luego aplicamos g a ambos lados.
