的。注意在函数符号之上放置星号表示下伴随。使用这种表示重写上述定义，伽罗瓦连接是"f" =("f", "f")，使得对于所有的"A"中的"a"和"B"中的"b"，我们有
可供选择的定义.上述定义常用于很多今天的应用中，特别是在格理论和域理论中。最初从伽罗瓦理论中引出的是一个稍微不同的概念。在这个可供选择的定义中，伽罗瓦连接是在两个偏序集合"A"和"B"之间的一对反序（就是说次序倒转）函数"F" : "A" → "B"和"G" : "B" → "A"，使得伽罗瓦连接的这两个概念都