El teorema del funtor adjunto de la teoría de orden establece que la implicación inversa es válida también en ciertos casos: especialmente, cualquier función entre retículos completos que conserve todos los supremos es el adjunto inferior de una conexión de Galois.