Ordnungszahl, Menge M, welche transitiv ist und durch die Elementrelation wohlgeordnet wird, d. h., in der jedes Element auch Teilmenge ist und jede Teilmenge ein ∈-kleinstes Element hat.

Siehe hierzu auch Kardinalzahlen und Ordinalzahlen.