Es sei ( M , ≼ ) {\displaystyle {}(M,\preccurlyeq )} eine geordnete Menge mit einem kleinsten Element 0 {\displaystyle {}0} . Ein Element a ∈ M {\displaystyle {}a\in M} heißt Atom, wenn a ≠ 0 {\displaystyle {}a\neq 0} ist und die Beziehung x ≼ a {\displaystyle {}x\preccurlyeq a} nur für x = 0 {\displaystyle {}x=0} und x = a {\displaystyle {}x=a} gilt.
