Galois connection
在这种情况下，"F"叫做"G"的下伴随，而"G"叫做"F"的上伴随。如下面详细讨论的那样，伽罗瓦连接每个部分唯一确定另外一个映射。把形成伽罗瓦连接的两个函数看作同一个对象的两个规定，把一对相应的下伴随和上伴随分别指示为"f" ∗和"f" ∗是很方便的。注意在函数符号之上放置星号表示下伴随。使用这种表示重写上述定义，伽罗瓦连接是"f" =("f" ∗, "f" ∗)，使得对于所有的"A"中的"a"和"B"中的"b"，我们有