順序組

数学における順序組（じゅんじょぐみ、 etc.）あるいは単に組 () とは、通常は有限な長さの列を言う。特に非負整数 に対して、 個の対象を順番に並べた（あるいは番号付けた）ものは -組 () と呼ぶ（このとき、並べられた対象のことは、この -組の「要素」や「成分」などと呼ぶ）。
任意の長さ に対する -組は、順序対の構成を帰納的に用いて定義できる。順序組はふつう、要素をコンマで区切って書き並べたものを丸括弧 " で括る。例えば は五つ組である。要素を括る約物は、ときどき角括弧 " や山括弧 " や場合によっては 波括弧 " を使うこともある。特に波括弧は（歴史的な経緯で、数列や点列を扱う文脈などではしばしば用いられるが）標準的な集合を表す記法と紛らわしいため注意すべきである。
順序組はベクトルなどほかの数学的対象を記述するのにも用いられる。計算機科学や言語学、哲学などにおいても順序組は用いられる。
性質.
もっとも重要な一般規則（順序組の定義性質）として、二つの -組が相等しい:
とは、 かつ かつ … かつ を満たすことが必要十分である。
したがって順序組は、以下の如く集合とは異なる性質を持つことに注意すべきである:
定義.
順序組は前節の「性質」を持つものとして定義される。そのような定義の仕方はいくつか存在する。
写像としての定義.
集合を扱える文脈において、-組は、以下のような写像 と見なすことができる。すなわち、その定義域 は組の各要素を指し示す陰伏的な添字の集合（添字集合）で、終域 は要素の順序組すべての成す集合である。集合論の言葉では
where:
より直観的な書き方をすれば、
と定義されるということである。
順序対の入れ子としての定義.
集合論における順序対のモデル化は順序対を用いても定義できる。ただし、順序対は既に定義されているものとする（そして、順序対は二つ組である）。
この構成を -組に対しても帰納的に適用して、最終的に
同様の仕方で、要素を後ろに追記していく形に定義することもできる:
したがって帰納的に
さて集合論において、順序対は集合として定義される（例えばクラトフスキーの定義）から、順序対による順序組の定義も集合によって定式化できる:
-組の総数.
離散数学、特に初等組合せ論および有限確率論において、-組は様々な数え上げ問題において、長さ の（あまり形式ばらない意味での）要素の並びを表すために用いられる。-元集合から要素をとって作られる -組は重複順列 ("arrangement with repetition") と呼び、その総数は 個である。これは組合せ論における積の法則からわかる。この数は位数 の有限集合 の -重デカルト積 （この直積集合の元は考えている重複順列 (-組) のことに他ならない）の位数に等しい。
型理論.
プログラミング言語に広く用いられる型理論において、順序組はを持つ（これは組の長さも各成分のもつ型も固定しない意味で言う）。形式的には
であり、射影は項構成子:
である。関係モデルで用いられるラベル付き要素の順序組はレコード型を持つ。これらの型は単純型付きラムダ計算の単純拡大として定義できる。
型理論における順序組の概念と集合論における順序組の概念には以下のような関係がある: 型理論の自然なモデルを考えれ、意味論的解釈にスコット括弧を用いれば、適当な集合 formula_12（ここでイタリックは集合をあらわし、その型特別するために用いることに注意）からなるモデルとして
および基本項の解釈が
とすれば、この型理論における -組は集合論における -組として自然な解釈
を持つ。は -組を意味論的解釈に持つ。