伽罗瓦连接
Then and "I" form an antitone Galois connection.