Galois connection
假定("A", ≤)和("B", &lt;=)是两个偏序集。在这些偏序集之间的伽罗瓦连接由两个单调函数组成："F" : "A" → "B"和"G" : "B" → "A",使得对于所有的"A"中的"a"和"B"中的"b"，我们有