伽罗瓦连接
上述定义常用于很多今天的应用中，特别是在格理论和域理论中。最初从伽罗瓦理论中引出的是一个稍微不同的概念。在这个可供选择的定义中，伽罗瓦连接是在两个偏序集合"A"和"B"之间的一对反序（就是说次序倒转）函数"F" : "A" → "B"和"G" : "B" → "A"，使得