Galois connection
Then and "I" form an antitone Galois connection.