Una "conexión de Galois" entre estos posets consiste en dos funciones monótonas: "F" : "A" → "B" y "G" : "B" → "A", tales que para todo "a" en "A" y "b" en "B", tenemos