Ordnungsvollständigkeit:
Seien \(A, B \subseteq \mathbb{R}\) so, dass
- \(A \neq \emptyset\), \(B \neq \emptyset\)
- \(\forall a \in A \ \forall b \in B \ : \ a \leq b\)
