極限順序数

集合論およびにおける極限順序数（きょくげんじゅんじょすう、）は でも後続順序数でもない順序数を言う。あるいは、順序数 が極限順序数であるための必要十分条件は「 より小さい順序数が存在して、順序数 が より小さい限り別の順序数 が存在して とできることである」と言ってもよい。任意の順序数は、 または後続順序数、さもなくば極限順序数である。
例えば、任意の自然数よりも大きい最小の超限順序数 は、それよりも小さい任意の順序数（つまり自然数） が常にそれよりも大きい別の自然数（なかんずく ）を持つから、極限順序数である。
を用いれば、任意の順序数はそれより小さい順序数全体の成す整列集合として与えられる。このとき、空でない順序数の集合が最大元を持たないならば、その和集合は常に極限順序数になる。を用いれば、任意の無限基数もまた極限順序数となる。
特徴付け.
極限順序数は他にもいろいろなやり方で定義できる:
 を、直前の順序数を持たない順序数として、極限順序数に分類すべきか否かに関しては流儀が分かれる。いくつかの教科書は を極限順序数のクラスに含めるが、含めないものもある。
例.
順序数全体の成す類は整列順序付けられているから、有限でない最小の極限順序数 が存在する。この順序数 は、自然数の最小上界に一致するものとして、最小の超限順序数でもある。ゆえに、 は自然数全体の成す集合の順序型を表している。それより大きい次の極限順序数として、まずは 、これは任意の自然数 に対する に一般化できる。 全体の成す集合における合併（順序数からなる任意の集合上で上限をとる操作と見なせる）を取って、 が得られ、これは任意の自然数 に対する に一般化される。この過程はさらに繰り返すことができて、formula_1 なる系列が生み出される
一般に、このような再帰的定義は乗法、冪演算、反復冪などを通じてもできるが、何れも極限順序数を導き出す。ここまでで出てきた順序数はそれでもまだ可算順序数であるが、同様に可算順序数であるチャーチ–クレイニ順序数より小さいすべての順序数に系統的に名前を付けることのできるな命名規則は存在しない。
可算順序数を超えて、最小の非可算順序数 は、これもまた極限順序数となる。同様に推し進めれば、以下のような系列（以下の列では項を追うごとに濃度も増大する）: formula_2 が得られる。
一般に、順序数からなる空でない集合が最大元を持たなければ、合併を取れば常に極限順序数が得られる。
 に対する 全体の成す集合は極限順序数からなる極限順序数、など。
性質.
後続順序数の類、（さまざまな共終数を持つ）極限順序数の類と を併せたもので順序数の類は尽くされるから、これらの場合はしばしば超限帰納法や的定義に用いられる。極限順序数はこの種の手続きにおいてある種の「転換点」を表している（そこでは、それより前の順序数すべての合併をとるなどの極限操作が用いられなければならない）。原理的には、極限順序数において何かする際に、合併をとることは順序位相における連続写像であり、これはふつうは好ましい性質である。
を用いるならば、任意の無限基数は極限順序数でもある（またこれは「蝶番」や「転換点」を意味する に由来する の語感とも合う）。この事実の証明は、単に任意の超限後続順序数が無限ホテルのパラドクスにあるような割り当てを通じて適当な極限順序数と等濃（対等、同数）であることを見ればよい。
基数それ自体も固有のやの概念を持っているので、それらと混同すべきではない。