The Galois Connection

@galoisconnection