En esta definición alternativa, una conexión de Galois es un par de funciones "antítonas" (que invierten el orden), "F" : "A" → "B" y "G" : "B" → "A" entre los posets "A" y "B", de manera que