伽罗瓦连接
More generally, given a commutative ring (not necessarily a polynomial ring), there is an antitone Galois connection between radical ideals in the ring and subvarieties of the affine variety .