Definition:Zero Locus of Subset of Ring