Galois connection (source code)

= Galois connection
{wiki=Galois_connection}