La razón es que siendo ^ el adjunto inferior de una conexión de Galois, preserva todos los supremos existentes.