Galois connection

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

This shows the desired equality. Furthermore, we can use this property to conclude that

The following books and survey articles include Galois connections using the monotone definition: