Galois connection
Given a Galois connection with lower adjoint and upper adjoint , we can consider the compositions , known as the associated closure operator, and , known as the associated kernel operator. Both are monotone and idempotent, and we have for all in and for all in .