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