saturatedSaturated2002-03-01 20:19:552002-03-01 20:19:55Definition%\usepackage{graphicx}
%\usepackage{xypic}
\usepackage{bbm}
\newcommand{\Z}{\mathbbmss{Z}}
\newcommand{\C}{\mathbbmss{C}}
\newcommand{\R}{\mathbbmss{R}}
\newcommand{\Q}{\mathbbmss{Q}}
\newcommand{\mathbb}[1]{\mathbbmss{#1}}Let $S$ be multiplicative subset of $A$. We say that $S$ is a \emph{saturated} if
$$ab\in S\Rightarrow a,b\in S.$$
When $A$ is an integral domain, then $S$ is saturated if and only if its complement $A\backslash S$ is union of prime ideals.