Galois connection
An essential property of a Galois connection is that an upper/lower adjoint of a Galois connection "uniquely" determines the other: