Ordnung/Wohlordnung/Definition

Wohlordnung

Eine totale Ordnung ${}\preccurlyeq$ auf einer Menge ${}M$ heißt Wohlordnung, wenn jede nichtleere Teilmenge ${}T\subseteq M$ ein kleinstes Element besitzt.