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.