Es sei R {\displaystyle {}R} ein kommutativer Ring. Ein multiplikatives System F ⊆ R {\displaystyle {}F\subseteq R} nennt man einen Ultrafilter, wenn 0 ∉ F {\displaystyle {}0\not \in F} ist und wenn F {\displaystyle {}F} maximal mit dieser Eigenschaft ist.
