välordning
välordning, i matematik och logik en ordning av en mängd M som uppfyller kravet att varje icke tom delmängd M har ett första element (med avseende på ordningen i fråga).
Den vanliga ordningsrelationen utgör således en välordning av de positiva heltalen men inte av de positiva rationella talen. Det följer av urvalsaxiomet att varje mängd kan välordnas, dvs. att det finns en välordning av mängden. Välordningars längd anges av ordinaltal.
Information om artikeln
Källangivelse