Multiplikatives System/Saturiert/Definition

Saturiertes multiplikatives System

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