Ein multiplikatives System ${\displaystyle {}S}$ in einem kommutativen Ring ${\displaystyle {}R}$ heißt saturiert, wenn folgendes gilt: Ist ${\displaystyle {}g\in R}$ und gibt es ein ${\displaystyle {}f\in S}$, das von ${\displaystyle {}g}$ geteilt wird, so ist auch ${\displaystyle {}g\in S}$.