Let be multiplicative subset of . We say that is a saturated if
When is an integral domain, then is saturated if and only if its complement is union of prime ideals.