伽罗瓦连接
(Monotone) Galois connection.