伽罗瓦连接
In algebraic geometry, the relation between sets of polynomials and their zero sets is an antitone Galois connection.