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