Eine Wohlordnung einer Menge S ist eine totale Ordnung, bei der jede nichtleere Teilmenge von S ein kleinstes Element bezüglich dieser Ordnung hat. Die Menge S zusammen mit der Wohlordnung heißt eine wohlgeordnete Menge. Beide Begriffe stammen aus der Mengenlehre von Cantor. In einer wohlgeordneten Menge gibt es stets ein Element ohne Vorgänger...