Galois connection
所有伽罗瓦连接都引发一个闭包算子(其条目中有解释)。事实上，所有闭包算子都以这种方式引发自伽罗瓦连接。伽罗瓦连接不唯一的确定自闭包算子。引发闭包算子 "C" 的伽罗瓦连接可以描述如下: 如果 "A" 是关于 "C" 的闭合元素的集合，则 "C" : "P" → "A" 是在 "P" 和 "A" 之间的伽罗瓦连接的下伴随，带有上伴随为把 "A" 嵌入到 "P" 中。进一步的说，所有把某个子集嵌入 "P" 的下伴随都是闭包算子。“闭包算子是嵌入的下伴随”。但是注意不是所有嵌入都有下伴随。