Galois connection

ID: galois-connection

New to topics? Read the docs here!