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