この項目では、数学的な観点からの順序数について説明しています。言語学的な観点での順序数については「序数詞」をご覧ください。 数学の特に集合論において、順序数(じゅんじょすう、英: ordinal number)とは、整列集合同士の“長さ”を比較するために、自然数[1]を拡張させた概念である。 定義[編集] 整列集合 (A, <) に対して、A を定義域とする写像 GA, < を超限帰納法によって と定義したとき、GA, < の値域 ran(GA, <) を (A, <) の順序数といい、これを ord(A, <) で表す。ある整列集合の順序数であるような集合を順序数と呼ぶ[2]。 例[編集] <ω は自然数の通常の大小関係(を各集合に制限したもの)を表すものとすると、 この例から推測されるように、一般に有限の整列集合 (A, <) に対して ord(A, <) は A の要素の個数に等しい