伽罗瓦连接
"Pol" and "Inv" together build a Galois connection.