Geordnete Menge/Kleinstes Element/Atom/Definition

Atom

Es sei eine geordnete Menge mit einem kleinsten Element . Ein Element heißt Atom, wenn ist und die Beziehung nur für und gilt.