Saturated subset

Definition
A subset in a commutative unital ring is termed a saturated subset if it satisfies the following equivalent conditions:


 * It contains $$1$$ and does not contain $$0$$, it is multiplicatively closed, and if a product of two elements lies in the subset, so do both the elements.
 * It is the complement of a union of prime ideals