Definition:Zariski Topology/Commutative Ring