Por tanto, cuando se da un adjunto de una conexión de Galois, podemos definir el otro mediante esta propiedad.