Galois connection
Antitone Galois connection.