Från Rilpedia

I matematiken, sägs en linjär ordning L vara en välordning om varje icke-tom delmängd till L har ett minsta element. Varje välordning är isomorf med ett och endast ett ordinaltal.

Exempel

• Alla ändliga linjära ordningar är välordningar
• De naturliga talen utgör en välordning
• Om M,N är linjära ordningar så är mängden MxN försedd med den lexikografiska ordningen en välordning.
• De reella talen är ingen välordning, eftersom exempelvis mängden av positiva reella tal inte har något minsta element.