Geordnete Menge/Atome/Einfache Eigenschaften/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei eine geordnete Menge mit einem kleinsten Element und mit der Eigenschaft, dass zu je zwei Elementen das Infimum existiert. Dann gelten folgende Eigenschaften.

  1. Wenn ein Atom ist, so ist oder für alle .
  2. Wenn und verschiedene Atome sind, so ist .
  3. Es sei endlich. Dann gibt es zu jedem ein Atom mit .