Eine Wohlordnung auf einer Menge ist eine totale Ordnung, bei der jede nichtleere Teilmenge von ein kleinstes Element bezüglich dieser Ordnung hat, also eine totale fundierte Ordnung. Das Paar der Menge zusammen mit der Wohlordnung heißt dann eine wohlgeordnete Struktur oder unpräzise eine wohlgeordnete Menge, wobei die Ordnung implizit ist. Die Begriffe stammen aus der Mengenlehre von Cantor.
© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search