Galois connection
如上面提及的，闭包可以被看作来自伽罗瓦连接。如果把伽罗瓦连接推广为伴随函子，闭包的对应是 單子。