Grundlagen: Mathematik

Was ist eine Wohlordnung?

Eine Wohlordnung ist eine totale Ordnung, bei der jede nichtleere Teilmenge ein kleinstes Element besitzt.

Beispiel: $\mathbb N$ mit $\le$ ist wohlgeordnet; $\mathbb Z$ mit $\le$ nicht.