Source: wikibot/galois-connection

= Galois connection
{wiki=Galois_connection}