WikiDer > Schweißen

In dem Ordnungstheorie, eine Unterregion der Mathematik, ist ein gut sortiert oder Gute Bestellung auf einen Sammlung${Anzeigestil S}$ ein Gesamtbestellung auf ${Anzeigestil S}$ mit der Eigenschaft, dass alle nicht leeren Teilmenge von ${Anzeigestil S}$ ein kleinstes Element hat in dieser Reihenfolge. Es gibt also ein geordnetes gut begründet. Zusammen mit der Kollektion ${Anzeigestil S}$ wird die geordnete Beziehung zu einem gut sortierte Sammlung erwähnt.

Jede wohlgeordnete Kollektion ist Ordnung isomorph mit genau einem Ordinal-, es Auftragsart der gut sortierten Sammlung.

Umgekehrt, wenn eine Sammlung durch a bijektion mit einer Ordinalzahl verknüpft ist, induziert dies eine Wohlordnung der Menge. In dem Mengenlehre sagt der wohlordnungssatz (was gleichbedeutend ist mit dem Axiom der Wahl), dass jede Menge wohlgeordnet sein kann, sodass es für jede Menge eine Ordinalzahl mit einer solchen Bijektion gibt.