Por tanto podemos endurecer la afirmación anterior para garantizar que cualquier función que conserve el supremo entre retículos completos es el adjunto inferior de una conexión de Galois única.