Galois connection
"Pol" and "Inv" together build a Galois connection.