for X being finite Subset of Vars ex l being quasi-loci st rng l = varcl X