Galois connection
A Galois insertion of into is a Galois connection in which the kernel operator is the identity on , and hence is an order-isomorphism of onto the closed sets [] of .