Wohlordnung

Eine Wohlordnung auf einer Menge ${\displaystyle S}$ ist eine totale Ordnung, bei der jede nichtleere Teilmenge von ${\displaystyle S}$ ein kleinstes Element bezüglich dieser Ordnung hat, also eine totale fundierte Ordnung. Das Paar ${\displaystyle (S,<)}$ der Menge ${\displaystyle S}$ zusammen mit der Wohlordnung ${\displaystyle {<}}$ heißt dann eine wohlgeordnete Struktur oder unpräzise ${\displaystyle S}$ eine wohlgeordnete Menge, wobei die Ordnung implizit ist. Die Begriffe stammen aus der Mengenlehre von Cantor.