Galois connection
(Monotone) Galois connection.