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.