この項目では、数学的な観点からの順序数について説明しています。言語学的な観点での順序数については「序数詞」をご覧ください。

数学の特に集合論において、順序数（じゅんじょすう、英: ordinal number）とは、整列集合同士の“長さ”を比較するために、自然数[1]を拡張させた概念である。
定義

整列集合 (A, <) に対して、A を定義域とする写像 GA, < を超限帰納法によって G A , < ( a ) = { G A , < ( x ) ∣ x < a } {\displaystyle G_{A,<}(a)=\{G_{A,<}(x)\mid x<a\}}

と定義したとき、GA, < の値域 ran(GA, <) を (A, <) の順序数といい、これを ord(A, <) で表す。ある整列集合の順序数であるような集合を順序数と呼ぶ[2]。
例

<ω は自然数の通常の大小関係（を各集合に制限したもの）を表すものとすると、 ord ⁡ ( ∅ , < ω ) = ∅ = 0 ord ⁡ ( { 2 } , < ω ) = { ∅ } = 1 ord ⁡ ( { 2 , 3 } , < ω ) = { ∅ , { ∅ } } = { 0 , 1 } = 2 ord ⁡ ( { 2 , 3 , 5 } , < ω ) = { ∅ , { ∅ } , { ∅ , { ∅ } } } = { 0 , 1 , 2 } = 3 {\displaystyle {\begin{aligned}\operatorname {ord} (\varnothing ,<_{\omega })&=\varnothing =0\\\operatorname {ord} (\{2\},<_{\omega })&=\{\varnothing \}=1\\\operatorname {ord} (\{2,3\},<_{\omega })&={\bigl \{}\varnothing ,\{\varnothing \}{\bigr \}}=\{0,1\}=2\\\operatorname {ord} (\{2,3,5\},<_{\omega })&={\Bigl \{}\varnothing ,\{\varnothing \},{\bigl \{}\varnothing ,\{\varnothing \}{\bigr \}}{\Bigr \}}=\{0,1,2\}=3\end{aligned}}}

この例から推測されるように、一般に有限の整列集合 (A, <) に対して ord(A, <) は A の要素の個数に等しい。特に、任意の自然数 n に対して ord(n, <ω) = n が成り立つので、自然数はすべて順序数である。

順序数に関して次が成り立つ：
整列集合 (A, <A) と整列集合 (B, <B) が同型のとき、またそのときに限り ord(A, <A) = ord(B, <B)。

(A, <) が有限整列集合のとき、ord(A, <) は A の要素の個数に等しい。

整列集合 (A, <) の順序数を α とし、∈α を α 上の所属関係とすると、(α, ∈α) は (A, <) と同型な整列集合である。

α が順序数であることと、α が ∈ によって整列された推移的集合であることは同値である。

α が順序数のとき、α の要素もすべて順序数である。

自然数全体の集合 ω は ∈ によって整列された推移的な集合であるから、上の事実 4. より ω は順序数である。
順序数の大小関係

任意の順序数 α, β, γ に対して次が成り立つことが示される：α ∉ αα ∈ β かつ β ∈ γ ⇒ α ∈ γα ∈ β または α = β または β ∈ α

そこで、α ∈ β のとき β は α より大きいといい、α < β と書く。この定義と順序数の要素はまた順序数であるという性質から、すべての順序数は自分自身より小さな順序数全体の集合と等しいと言うことができる。ω より小さな順序数（すなわち自然数）を有限順序数と呼び、ω 以上の（すなわち ω と等しいか ω より大きい）順序数を超限順序数と呼ぶ。順序数の大小関係に関して次が成り立つ：
整列集合 (A, <A) が整列集合 (B, <B) のある始切片と同型のとき、またそのときに限り ord(A, <A) < ord(B, <B)。

有限順序数の範囲では、上で定義された大小関係は通常の大小関係と一致する。

α が順序数のとき、S(α) ? α ∪ { α } は α より大きな順序数のうちで最小のものである。S(α) を α の後続者 (successor of α)と呼ぶ。

O が順序数からなる集合のとき、 ⋃ α ∈ O α {\textstyle \bigcup _{\alpha \in O}\alpha } もまた順序数であり、O の最小上界となっている。そこで、 ⋃ α ∈ O α {\textstyle \bigcup _{\alpha \in O}\alpha } を sup(O) とも書く。

順序数からなる空でない集合には必ず最小元が存在する。

順序数の並び方を次のように図示することができる：0, 1, 2, 3, ............, ω, S(ω), S(S(ω)), S(S(S(ω))), ............, ω + ω, S(ω + ω), S(S(ω + ω)), S(S(S(ω + ω))), ..............................

まず、0 が最小の順序数である。その後に S(0) = 1, S(S(0)) = 2, S(S(S(0))) = 3, ... と有限順序数（自然数）が通常の順序で並んでいる。そして、すべての自然数が並び終えると、次に来るのが最小の超限順序数 ω である。ω の後にはまたその後続者たちが S(ω), S(S(ω)), S(S(S(ω))), ... と無限に続いていく。その後、それらの最小上界（後に ω + ω と呼ばれる）が並び、その後続者たちが無限に続く。だがそれで終わりではない。無限に続いた後には、必ずそれまでに並んだすべての順序数たちの最小上界が存在し、その後続者、そのまた後続者、... のように順序数の列は“永遠に”続いていくのである。
順序数の特徴付け

集合 x について以下はZFで同値である。

x は順序数である。

x は推移的集合であり帰属関係 ∈ に関する整列集合である。 （ジョン・フォン・ノイマンの定義）[3][4]

x は推移的集合であり y, z ∈ x ならば y ∈ z, y = z, y ∋ z のいずれか1つだけが成り立つ。

x は推移的集合であり包含関係 ⊂ に関する全順序集合である。

x は推移的集合であり x の要素もまた推移的集合である。

ただし正則性公理を仮定しない場合は必ずしも同値にならないので注意が必要である。
ブラリ＝フォルティの定理

ブラリ＝フォルティの定理とは、「すべての順序数からなる集合は存在しない」という定理である。これは次のようにして示すことができる：すべての順序数からなる集合 ON が存在すると仮定する。すると、順序数の要素はまた順序数であるという性質から ON は推移的な集合である。さらに、ON の空でない部分集合には必ず ∈ に関する最小元が存在するので、ON は ∈ によって整列されている。したがって ON は順序数であるので ON ∈ ON であるが、これは任意の順序数 α に対して α ∉ α であるという事実と矛盾する。よって順序数全体の集合は存在しない。

かつて、集合論が公理化される以前には、「集合全体の集合」や「順序数全体の集合」といったものも無制限に考えられていたため、上のように順序数全体の集合を考えたときに起こる矛盾はブラリ＝フォルティのパラドックスと呼ばれていた。
後続順序数と極限順序数「後続順序数」および「極限順序数」も参照

ある順序数 β が存在して α = S(β) となる順序数 α を後続順序数 (successor ordinal) と呼ぶ。0 でも後続順序数でもない順序数を極限順序数 (limit ordinal) と呼ぶ。定義より、すべての順序数 α に対して、

α = 0

α は後続順序数である

α は極限順序数である

のいずれか一つだけが成り立つ。ω は最小の極限順序数である。また、任意の順序数 α に対して、α より大きな極限順序数が存在することが示される。
順序数の演算

順序数の間には自然数の場合と同じく和、積、冪が定義できる。特に有限順序数の間の演算は通常のそれと一致する。
和

α, β を順序数とする。整列集合 (A, <A), (B, <B) を ord(A, <A) = α, ord(B, <B) = β, A ∩ B = ∅ をみたすように取り、A ∪ B 上の関係 <A ⊕ <B を、x (<A ⊕ <B) y 　⇔　 x <A y または x <B y または ?x, y? ∈ A × B

によって定義すれば、(A ∪ B, <A ⊕ <B) は整列集合であり、その順序数は (A, <A), (B, <B) の特定の取り方によらず一定である。そこで ord(A ∪ B, <A ⊕ <B) を α と β の和といい、これを α + β で表す。直観的には、α + β というのは α の後ろに β を並べてできる整列集合の順序数である。

順序数の和について次が成り立つ：
&α, β が有限順序数ならば、和 α + β は自然数の間の通常の和と一致する。

(α + β) + γ = α + (β + γ) 。

α + 0 = 0 + α = α 。

α + S(β) = S(α + β) 。

γ が極限順序数のとき、α + γ = sup({ α + β  |  β < γ}) 。