伽罗瓦连接
Antitone Galois connection.