vom Nullelement 0 verschiedenes Element a eines Verbandes (V, ≤) mit Nullelement, für das für alle b ∈ V\{0} die Implikation

\begin{eqnarray}b\le a\Rightarrow a=b\end{eqnarray}

Atome sind die kleinsten Elemente eines nach unten beschränkten Verbandes V, die echt größer als das Nullelement sind. Nicht jeder nach unten beschränkte Verband enthält Atome, so zum Beispiel die Kette der nichtnegativen reellen Zahlen.