伽罗瓦连接
An essential property of a Galois connection is that an upper/lower adjoint of a Galois connection "uniquely" determines the other: