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$.