Galois connection
伽罗瓦理论的进一步抽象为伽罗瓦连接理论。