"C" 的像中。如果 "a" 是闭合的并且 "x" 是任意的，则有着 "x" ≤ "a" 当且仅当 "C"("x") ≤ "a"。所以 "C"("x") 是大于或等于 "x" 的最小闭合元素。我们看到 "C" 被唯一的确定自闭合元素的集合。所有伽罗瓦连接都引发一个闭包算子(其条目中有解释)。事实上，所有闭包算子都以这种方式引发自伽罗瓦连接。伽罗瓦连接不唯一的确定自闭包算子。引发闭包算子 "C" 的伽罗瓦连接可以描述如下: 如果 "A" 是关于 "C" 的闭合元素的集合，则 "C" : "P" → "A