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