素朴集合論(及びZFC、但し新基礎集合論(NF)は除く)においては、ある順序数α{\displaystyle\alpha}よりも小さい全ての順序数全体の順序型はα{\displaystyle\alpha}自身であることが容易に示される。
容易证实在朴素集合论(在ZFC中仍是真的而在新基础中不是)中，所有小于一个固定的α{\displaystyle\alpha\}的序数的序类型是α{\displaystyle\alpha\}自身。