順序対のソースを表示

[[数学]]における'''順序対'''（じゅんじょつい、{{lang-en-short|''ordered pair''}}）は、一口に言えば[[数学的対象|対象]]を「対」にしたものである。二つの対象 {{mvar|a, b}} の順序対をふつうは {{math|(''a'', ''b'')}} で表す。ここで、「順序」対において対象の現れる順番は重要であることに注意しなければならない、すなわち {{math|''a'' {{=}} ''b''}} でない限り {{math|(''a'', ''b'')}} という対と {{math|(''b'', ''a'')}} という対とが相異なる{{efn2|これに対して[[集合|'''非順序対''']] {{math|{{mset|''a'', ''b''}}}} は非順序対 {{math|{{mset|''b'', ''a''}}}} と常に等しい。[[集合]]および[[多重集合]]の項も参照のこと}}。

順序対 {{math|(''a'', ''b'')}} において、対象 {{mvar|a}} を第一成分 (first entry, first component), 対象 {{mvar|b}} を第二成分 (second entry, second component) などと呼ぶ。場合によっては、第一、第二[[座標]]や、左射影・右射影ともいう。

順序対のことを[[順序組|二つ組]]とか長さ {{math|2}} の[[列 (数学)|列]]（計算機科学方面では[[リスト (構造型)|リスト]]）とも呼ぶ。あるいは、[[スカラー (数学)|スカラー]]（数量）の順序対は二次元の[[数ベクトル|（数）ベクトル]]である。順序対の成分となる対象として、別の順序対を取ることもでき、それによって[[順序組|順序 {{mvar|n}}-組]]の再帰的定義が可能になる。例えば、順序三つ組 {{math|(''a'', ''b'', ''c'')}} を、ひとつの対を別の対へ入れ子にした {{math|(''a'', (''b'', ''c''))}} として定義できる。

[[直積集合]]やその部分集合である[[二項関係]]（これは[[対応 (数学)|対応]]と言っても同じであり、また従って当たり前のように目にする[[写像]]や[[函数]]もこれに含まれる）は順序対を用いて定義される。

== 一般論 ==
{{math|(''a''<sub>1</sub>, ''b''<sub>1</sub>), (''a''<sub>2</sub>, ''b''<sub>2</sub>)}} をふたつの順序対とするとき、順序対の'''特徴づけ''' (''characteristic property'') あるいは'''定義性質''' (''defining property''）とは

: {{math|(''a''<sub>1</sub>, ''b''<sub>1</sub>) {{=}} (''a''<sub>2</sub>, ''b''<sub>2</sub>)}} となるのは {{math|''a''<sub>1</sub> {{=}} ''a''<sub>2</sub>}} かつ {{math|''b''<sub>1</sub> {{=}} ''b''<sub>2</sub>}} [[同値|のとき、かつそのときに限る]]

というものである。第一成分が集合 {{mvar|X}} の元で、第二成分が集合 {{mvar|Y}} の元となるような順序対全体の成す[[集合]]は、{{mvar|X}} と {{mvar|Y}} との[[直積集合]]と呼ばれ、{{math|''X'' &times; ''Y''}} と書かれる。{{math|''X'' &cup; ''Y''}} 上の[[二項関係]]とは、{{math|''X'' &times; ''Y''}} の[[部分集合]]のことである。

; 注: 数学の広範な分野において記号 {{math|(''a'', ''b'')}} はざまざまな意味で用いられ、そうしたものの中で顕著な例はたとえば[[実数直線]]上の[[開区間]]を挙げることができるだろう。記号の意味は文脈に完全に依存しており、意味を取るためには文脈に注意しなければならない{{sfn|Lay|2005|p=50}}{{sfn|Devlin|2004|p=79}}。そうして時には、区別の明確化のために順序対を {{math|{{angbr|''a'', ''b''}}}} などの少し異なる記号で表すこともある（が、そういった記号もやはり他で多義的に用いられている）。

順序対 {{mvar|p}} が与えられたとき、その第一および第二成分への[[射影 (集合論)|射影]]はそれぞれ {{math|''π''<sub>1</sub>(''p'')}} および {{math|''π''<sub>2</sub>(''p'')}} のように書くのがふつうである（左射影・右射影の意味で {{math|''π''<sub>''l''</sub>(''p''), ''π''<sub>''r''</sub>(''p'')}} のように書いてもよい）。この文脈では、自然に {{mvar|n}}-組 {{mvar|t}} が第 {{mvar|i}}-成分への射影 {{math|{{subsup|π|''i''|''n''}}(''t'')}} を使って考えられる（必ずしも再帰的でない取り扱いができる）。

== 直観的な定義 ==
入門書の類いにおいては、順序対の定義としてやや不正確だが直観的に
{{quote|1= 二つの対象 {{mvar|a}}, {{mvar|b}} に対し、順序対 {{math|(''a'', ''b'')}} とは、対象 {{mvar|a, b}} をこの順番で指定する記法である{{sfn|Wolf|1998|p=164}}}}
というような形で与えるものがある。こういった場合、順序対の理解のために[[集合]]の場合との比較を持ってくるのが通例である: たとえば、集合 {{math|{{mset|''a'', ''b''}}}} の[[元 (数学)|元]]として {{mvar|a}} と {{mvar|b}} が区別できるには、{{mvar|a, b}} は相異なるものでなければならないが、順序対 {{math|(''a'', ''b'')}} ではその必要が無い。また、集合では元の書き並べ方を変えてももとと意味が変わることはない ({{math|{{mset|''b'', ''a''}} {{=}} {{mset|''a'', ''b''}}}}) が、順序対では並べる順番が異なればそれらは別の順序対 ({{math|(''b'', ''a'') &ne; (''a'', ''b'')}}) である

このような「定義」は、記述的に与えられたにすぎず、また並べる「順番」というのも直観的に与えられたものでしかないから、厳密な意味での定義と呼ぶには不十分である。それでも大抵の場合はこのような感覚的な捉え方で問題となることはなく、順序対はそのようなものとして受け止められていると考えられる{{sfn|Fletcher|Patty|1988|p=80}}

もう少し正確な取り扱いをするには、上で述べた「順序対の定義性質」を満たすものという役割が数学における順序対の意味の全てであると捉えることになる。そういう立場では、順序対とは順序対の定義性質を対応する公理とする{{ill2|原始概念|en|primitive notion}}として扱うという見方ができる。1954年に出版された[[ニコラ・ブルバキ|ブルバキ]]の『集合論』{{lang|en|("''Theory of Sets''")}} ではこのやり方が取られている。しかしこれは順序対の存在と定義性質の両方を公理的に仮定しなければならないのが難である{{sfn|Wolf|1998|p=164}}。

順序対を厳密に取り扱う別な方法としては、集合論の文脈で形式的に定義してしまうというのがある。やり方はいくつかあるが、何れも存在と特徴付けを集合論の公理から証明可能という点で優位性がある。そういった定義のなかでもっともよく用いられるのが[[カシミール・クラトフスキー]]によるもの（後述）であり、その定義は1970年に出版されたブルバキ『集合論』の第二版で用いられた。順序対を直観的に導入する教科書でも、クラトフスキーによる厳密な定義に演習問題の中で言及するといったものも少なくない。

== 集合論による順序対の定義 ==
[[集合論]]による[[数学基礎論|数学の基礎付け]]というパラダイムに則れば、全ての[[数学的対象]]はある種の[[集合]]として定義される。したがって、順序対を原始概念と考えないならば、順序対もまた集合として定義されなければならない{{efn2|クワインは、順序対の概念の集合論的な実現は哲学的概念を明確化するパラダイムであると主張した（"Word and Object" の &sec;53 を参照）。そのような概念や実現の一般概念が、トーマス・フォースター {{lang|en|(Thomas Forster)}} の "Reasoning about theoretical entities" に論じられている。}}。順序対の集合論的定義を以下にいくつか挙げる。

=== ウィーナーの定義 ===
[[ノーバート・ウィーナー|ウィーナー]]が初めて順序対の集合論的定義:
:<math>(a, b) := \{\{\{a\},\, \emptyset\},\, \{\{b\}\}\}</math>
を提唱したのは1914年のことである{{efn2|{{Wikicite|ref={{sfnref|Wiener|1914}}|reference=ウィーナーの論文 "A Simplification of the logic of relations"（「論理と関係の単純化」）}}が、貴重な解説付きで {{harv|van Heijenoort|1967|pages=224ff}} に再録されている。ヴァン・エジュノールはこの方法での単純化について "By giving a definition of the ordered pair of two elements in terms of class operations, the note reduced the theory of relations to that of classes"（クラス演算による二つの元の順序対の定義が与えられれば、そのようなクラスに対する関係の理論のノートが節約できる）と述べている。}}。ウィーナーはこの定義によって『[[プリンキピア・マテマティカ]]』における[[型理論|型]]が集合として定義できるようになることを注意している。『プリンキピア・マテマティカ』では型、したがって任意の[[アリティ]]を持つ関係の全体を[[原始概念]]として採用するものであった。

=== ハウスドルフの定義 ===
{{harvtxt|Wiener|1914}} とほぼ同時期に[[フェリックス・ハウスドルフ|ハウスドルフ]]は
: <math>(a, b) := \{\{a, 1\},\, \{b, 2\}\}</math>
という順序対の定義を提唱した。「ここで、{{math|1}} および {{math|2}} は、{{mvar|a}} とも {{mvar|b}} とも異なる、相異なるふたつの対象である」{{sfn|van Heijenoort|1967|p=224|ps=, &mdash;ウィーナーの論文の導入を参照。}}

=== クラトフスキーの定義 ===
{{harvtxt|Kuratowski|1921}} は今日的に広く受け入れられている順序対 {{math|(''a'', ''b'')}} の定義{{sfn|van Heijenoort|1967|p=224|ps=, &mdash;ウィーナーの論文の導入を参照。}}{{efn2|ヴァン・エジュノールは、結果として得られる順序対を表す集合は（それらが同じ型の元であるとき）「それらの元よりも 2 階高い型を持つ」ことを注意している。これを示すのに関連して、エジュノールは、特定の状況下で型が 1 か 0 に還元できることを述べている。}}
: <math>(a, b)_\text{K} := \{\{a\},\, \{a, b\}\}</math>
を提唱した。注目すべきは、これが第一成分と第二成分が等しいときにも
: <math>p = (x, x) = \{\{x\},\, \{x, x\}\} = \{\{x\},\{x\}\} = \{\{x\}\}</math>
として有効な定義になっていることである。

順序対 {{mvar|p}} が与えられたとき、「{{mvar|p}} の第一成分が {{mvar|x}} である」という性質は
:<math>\forall Y \in p : x \in Y</math>
として定式化することができる。「{{mvar|p}} の第二成分が {{mvar|x}} である」という性質は
:<math>(\exist Y \in p : x \in Y )\land(\forall Y_{1},\,\forall Y_{2} \in p : Y_{1}\ne Y_{2}\rarr (x \notin Y_{1} \lor x \notin Y_{2}))</math>
と定式化できる。第一成分と第二成分が等しいときは、連言の右側の条件
: <math>(\forall Y_{1},\,\forall Y_{2} \in p : Y_{1}\ne Y_{2}\rarr (x \notin Y_{1} \lor x \notin Y_{2}))</math>
は {{math|''Y''<sub>1</sub> &ne; ''Y''<sub>2</sub>}} となることが絶対に無いので、明らかに真である。

順序対の第一座標は

:<math>\pi_1(p) = \bigcup\bigcap p</math>

とすることで簡単に取り出せる。第二座標の取り出しは第一座標のそれより難しいが、

:<math>\pi_2(p) = \begin{cases}
  \bigcup\bigcap p & \text{if } \bigcap p = \bigcup p\\[7pt]
  \bigcup\left(\bigcup p \smallsetminus \bigcap p\right) & \text{if }\bigcap p \ne \bigcup p \end{cases}</math>

とすればよい。

上述のクラトフスキーによる順序対の定義は順序対が満足すべき特徴づけ <math display="block">(a,b) = (x,y) \iff a=x \land b=y</math> を満足するに「相応しい」ものである。ほかにもこれと同じくらい相応しい、同様あるいはより単純な形の定義として
; クラトフスキーの定義の変形版
:* <math>(a, b)_\text{reverse} := \{\{b\},\, \{a, b\}\},</math>
:* <math>(a, b)_\text{short} := \{a,\, \{a, b\}\},</math>
:* <math>(a, b)_\text{01} := \{\{0, a\},\, \{1, b\}\}</math>{{efn2|ハウスドルフ版の定義とほぼ同じだが、{{math|0, 1}} が {{mvar|a, b}} と異なるとは限らない}}
などが存在する。'''reverse'''（逆順）版はあまり使われないが、クラトフスキーの定義の自明な変形版であり、もとの定義で見たこと以外の特徴としてとくに見るべきものは無い。'''short'''（省略）版はその名の通り、もとの定義に[[ブレース]]の組が三つあったことに比べて、ふたつの組に減っている。'''short''' 版が順序対の特徴付けを満足することの証明には、[[公理的集合論|ZFC]]の[[正則性公理]]が必要である{{sfn|Tourlakis|2003|loc= Proposition III.10.1.}}。さらに、[[自然数|自然数の集合論的構成]]を認めるならば、自然数の "{{math|2}}" は集合 {{math|{{mset|0, 1}} {{=}} {{mset|0, {{mset|0}}}}}} として定義されるが、これは順序対 {{math|(0, 0)<sub>short</sub>}} と区別が付かない。

{{math proof|title=これらの定義が特徴づけを満足する事|drop=yes|1=
{{math|(''a'', ''b'') {{=}} (''c'', ''d'')}} となるための[[必要十分条件]]が {{math|''a'' {{=}} ''c''}} かつ {{math|''b'' {{=}} ''d''}} であることを示す。

; Kratowski の定義
:; 十分性: {{math|''a'' {{=}} ''c''}} かつ {{math|''b'' {{=}} ''d''}} ならば {{math|{{mset|{{mset|''a''}}, {{mset|''a'', ''b''}}}} {{=}} {{mset|{{mset|''c''}}, {{mset|''c'', ''d''}}}}}} ゆえ {{math|(''a'', ''b'')<sub>K</sub> {{=}} (''c'', ''d'')<sub>K</sub>}} である。
:; 必要性: {{math|''a'' {{=}} ''b''}} と {{math|''a'' &ne; ''b''}} のふたつの場合がある。
:: {{math|''a'' {{=}} ''b''}} のとき、{{math|(''a'', ''b'')<sub>K</sub> {{=}} {{mset|{{mset|''a''}}, {{mset|''a'', ''b''}}}} {{=}} {{mset|{{mset|''a''}}, {{mset|''a'', ''a''}}}} {{=}} {{mset|{{mset|''a''}}}}}} に注意すれば <math display="block">\{\{c\}, \{c, d\}\} = (c, d)_\text{K} = (a, b)_\text{K} = \{\{a\}\}</math> から {{math|{{mset|''c''}} {{=}} {{mset|''c'', ''d''}} {{=}} {{mset|''a''}}}} でなければならないが、これは {{math|''a'' {{=}} ''c''}} かつ {{math|''a'' {{=}} ''d''}} ということであり、また仮定より {{math|''a'' {{=}} ''b''}} であったから {{math|''b'' {{=}} ''d''}} を得る。
:: {{math|''a'' &ne; ''b''}} のとき、{{math|(''a'', ''b'')<sub>K</sub> {{=}} (''c'', ''d'')<sub>K</sub>}} は {{math|{{mset|{{mset|''a''}}, {{mset|''a'', ''b''}}}} {{=}} {{mset|{{mset|''c''}}, {{mset|''c'', ''d''}}}}}} の意である。まず、{{math|{{mset|''c'', ''d''}} {{=}} {{mset|''a''}}}} であるとすると {{math|''c'' {{=}} ''d'' {{=}} ''a''}} ゆえ <math display="block">\{\{c\}, \{c, d\}\} = \{\{a\}, \{a, a\}\} = \{\{a\}, \{a\}\} = \{\{a\}\}</math> となるがこれと {{math|{{mset|{{mset|''a''}}, {{mset|''a'', ''b''}}}}}} とが等しいとすると {{math|''b'' {{=}} ''a''}} であることになり、{{math|''a'' &ne; ''b''}} という仮定に反する。また、{{math|{{mset|''c''}} {{=}} {{mset|''a'', ''b''}}}} であるとすると {{math|''a'' {{=}} ''b'' {{=}} ''c''}} ゆえ同様に {{math|''a'' &ne; ''b''}} という仮定に反する。したがって、{{math|{{mset|''c''}} {{=}} {{mset|''a''}}}} であり、{{math|''c'' {{=}} ''a''}} および {{math|{{mset|''c'', ''d''}} {{=}} {{mset|''a'', ''b''}}}} を得る。このとき {{math|''d'' {{=}} ''a''}} であるとすると {{math|{{mset|''c'', ''d''}} {{=}} {{mset|''a'', ''a''}} {{=}} {{mset|''a''}} &ne; {{mset|''a'', ''b''}}}} で矛盾するから、この場合 {{math|''d'' {{=}} ''b''}} であり、まとめると {{math|''a'' {{=}} ''c''}} かつ {{math|''b'' {{=}} ''d''}} であることを得る。
; Reverse 版
: {{math|(''a'', ''b'')<sub>reverse</sub> {{=}} {{mset|{{mset|''b''}}, {{mset|''a'', ''b''}}}} {{=}} {{mset|{{mset|''b''}}, {{mset|''b'', ''a''}}}} {{=}} (''b'', ''a'')<sub>K</sub>}} であることに注意すれば簡明である。
:; 十分性
:: {{math|''a'' {{=}} ''c''}} かつ {{math|''b'' {{=}} ''d''}} ならば {{math|{{mset|{{mset|''b''}}, {{mset|''a'', ''b''}}}} {{=}}  {{mset|{{mset|''d''}}, {{mset|''c'', ''d''}}}}}} ゆえ {{math|(''a'', ''b'')<sub>reverse</sub> {{=}} (''c'', ''d'')<sub>reverse</sub>}} を得る。
:; 必要性 : {{math|(''a'', ''b'')<sub>reverse</sub> {{=}} (''c'', ''d'')<sub>reverse</sub>}} ならば {{math|(''b'', ''a'')<sub>K</sub> {{=}} (''d'', ''c'')<sub>K</sub>}} ゆえに {{math|''b'' {{=}} ''d''}} かつ {{math|''a'' {{=}} ''c''}} である。
; Short 版{{efn2|'''short'''の適格性の厳密な[[超数学]]的証明は [http://us.metamath.org/mpegif/opthreg.html こちら (opthreg)]を参照。また {{harvtxt|Tourlakis|2003|}}, Proposition III.10.1. も参照。}}
:; 十分性
:: 明らか。
:; 必要性
:: {{math|{{mset|''a'', {{mset|''a'', ''b''}}}} {{=}} {{mset|''c'', {{mset|''c'', ''d''}}}}}} を仮定すれば {{math|''a''}} は左辺に属すから、したがって右辺にも属する。集合の相等条件は属する元が全体として相等しいことであったから、{{math|''a'' {{=}} ''c''}} か {{math|''a'' {{=}} {{mset|''c'', ''d''}}}} のうちのいずれか一方が成り立つ。
:: {{math|''a'' {{=}} {{mset|''c'', ''d''}}}} ならば上と同様の理由で {{math|{{mset|''a'', ''b''}}}} が右辺に属するから {{math|{{mset|''a'', ''b''}} {{=}} ''c''}} であるか {{math|{{mset|''a'', ''b''}} {{=}} {{mset|''c'', ''d''}}}} である。{{math|{{mset|''a'', ''b''}} {{=}} ''c''}} ならば {{math|''c''}} は {{math|{{mset|''c, d''}} {{=}} ''a''}} に属し、{{mvar|a}} は {{mvar|c}} に属するが、これは {{math|{{mset|''a'', ''c''}}}} が「～の元である」という関係の下での最小元を持たないことになり、正則性の公理に矛盾する。{{math|{{mset|''a'', ''b''}} {{=}} {{mset|''c'', ''d''}}}} ならば {{mvar|a}} は {{mvar|a}} の元で、{{math|''a'' {{=}} {{mset|''c'', ''d''}} {{=}} {{mset|''a'', ''b''}}}} から再び正則性に反する。ゆえに {{math|''a'' {{=}} ''c''}} でなければならない。
:: 再びはじめに戻れば、{{math|{{mset|''a'', ''b''}} {{=}} ''c''}} または {{math|{{mset|''a'', ''b''}} {{=}} {{mset|''c'', ''d''}}}} である。{{math|{{mset|''a'', ''b''}} {{=}} ''c''}} かつ {{math|''a'' {{=}} ''c''}} とすれば {{mvar|c}} は {{mvar|c}} の元となり正則性に反する。ゆえに {{math|''a'' {{=}} ''c''}} かつ {{math|{{mset|''a'', ''b''}} {{=}} {{mset|''c'', ''d''}}}} であり、それゆえに <math display="block">\{b\} = \{a, b\} \smallsetminus \{a\} = \{c, d\} \smallsetminus \{c\} = \{d\}</math> したがって {{math|''b'' {{=}} ''d''}} を得る。
}}
=== クワイン&ndash;ロッサーの定義 ===
{{harvs|txt|author-link=ジョン・バークリー・ロッサー|first1=J. Barkley|last1=Rosser|year1=1953}} は[[ウィラード・ヴァン・オーマン・クワイン]]に負うところよる[[自然数]]のア・プリオリな定義を必要とする順序対の定義を採用している。{{mathbf|N}} を自然数全体の成す集合とし、函数

:<math>\varphi(x) = (x \smallsetminus \N) \cup \{n+1 : n \in (x \cap \N) \}</math>

を定義する。この函数を適用するには、ただ {{mvar|x}} に属するどの自然数も {{math|1}} 増やせばいい。とくに、{{math|''&phi;''(''x'')}} は最小の自然数である {{math|0}} を含まないので、任意の集合 {{mvar|x, y}} に対し
:<math>\varphi(x) \ne \{0\} \cup \varphi(y)</math>

が成立する。これを用いて順序対 {{math|(''A'', ''B'')}} を

:<math>(A, B) = \{\varphi(a) : a \in A\} \cup \{\varphi(b) \cup \{0\} : b \in B \}</math>

と定義する。この対から {{math|0}} を含まない元をすべて取り出して、{{mvar|&phi;}} の適用を取り消せば {{mvar|A}} が得られる。同様に、{{math|0}} を含む元を考えれば {{mvar|B}} を復元することができる。

[[型理論]]および公理的集合論 [[新基礎集合論|NF]] のような副産物において、クワイン-ロッサー対は、対とその成分とが同じ型を持つため、「型レベル」{{lang|en|("type-level")}} の順序対と呼ばれる。その意味でこの定義は、順序対として定義される[[写像]]が、その引数よりも 1 だけ高い階の型を持つことを許すという点で有利である。この定義は、自然数全体の成す集合が無限集合である場合にのみうまくいく。これは NF ではそうなっているが、[[型理論]]や NFU においてはそうではない。[[ジョン・バークリー・ロッサー|ロッサー]]はそのような型レベルの順序対（あるいは「型が 1 だけ上がる」順序対）の存在性が無限公理を含意することを示した。クワイン集合論の文脈での順序対の広範な議論は {{harvtxt|Holmes|1998}} を参照せよ。

=== カントール&ndash;フレーゲの定義 ===
集合論の初期（カントールの逆理の出現以前）、カントールはフレーゲに従い、関係の概念は原始概念として認めたうえで、二つの集合の順序対をそれらの集合の間に成り立つ関係全体の成すクラス <math display="block">(x, y) = \{R : x R y \}</math>として定義した{{sfn|Frege|1893|loc=§144}}。

この定義は現代的に定式化されたほとんどの集合論では許容されないが、たとえば集合の[[濃度 (数学)|濃度]]を与えられた集合と等濃な集合全体の成すクラスとして定義する方法論と似て整然としたものである{{sfn|last=Kanamori|2007|p=22|loc=footnote 59}}。

=== モースの定義 ===
{{ill2|モース・ケリー集合論|en|Morse–Kelley set theory}} では[[真のクラス]]を自由に扱うことができる {{harv|Morse|1965}}。モースは成分が集合のみならず真のクラスであるような順序対を定義した（クラトフスキーの定義ではそのようなことはできない）。モースはまず、クラトフスキーの方法で成分が集合となる順序対を定義し、それから順序対 {{math|(''x'', ''y'')}} を
: <math>(x \times \{0\}) \cup (y \times \{1\})</math>
として「再定義」した。これに現れる直積は集合上のクラトフスキー対からなる。この第二段階で、成分が真のクラスとなるような順序対というものが可能になる。また、上述のクワイン-ロッサーの定義でも成分を真のクラスとすることができる。

== 圏論 ==
[[集合の圏]]における圏論的な[[積 (圏論)|直積]] {{math|''A'' &times; ''B''}} は、第一成分が {{mvar|A}} に属し、第二成分が {{mvar|B}} に属する順序対全体の成す集合を表現する。この文脈では上で述べた順序対の特徴づけは、直積の[[普遍性]]と集合 {{mvar|X}} の元が（ある一元集合）{{mathbf|1}} から {{mvar|X}} への射と同一視されるという事実とからの帰結である。別の対象が同じ普遍性を持つかもしれないが、それらはすべて[[自然同型]]である。

== 注 ==
=== 注釈 ===
{{notelist2}}
=== 出典 ===
{{Reflist}}

== 参考文献 ==
* {{citation|first=Keith|last=Devlin|title=Sets, Functions and Logic / An Introduction to Abstract Mathematics|edition=3rd|publisher=Chapman & Hall / CRC|year=2004|isbn=978-1-58488-449-1|ref=harv}}
* {{citation|first1=Peter|last1=Fletcher|first2=C. Wayne|last2=Patty|title=Foundations of Higher Mathematics|publisher=PWS-Kent|year=1988|isbn=0-87150-164-3|ref=harv}}
* {{cite book |last=Frege |first=Gottlob |year=1893 |title=Grundgesetze der Arithmetik |url=https://korpora.zim.uni-duisburg-essen.de/Frege/PDF/gga1_o_corr.pdf |location=Jena |publisher=Verlag Hermann Pohle |ref=harv}}
* {{citation|last=Holmes|first= Randall |year=1998 | url= http://math.boisestate.edu/~holmes/holmes/head.pdf | title= Elementary Set Theory with a Universal Set | publisher= Academia-Bruylant|ref=harv}} (The publisher has graciously consented to permit diffusion of this monograph via the web. Copyright is reserved.)
* {{cite book |last=Kanamori |first=Akihiro |year=2007 |title=Set Theory From Cantor to Cohen |url=http://math.bu.edu/people/aki/16.pdf |publisher=Elsevier BV |ref=harv}}
* {{cite journal|title=Sur la notion de l'ordre dans la Théorie des Ensembles|first=Casimir|last=Kuratowski|authorlink=Kazimierz Kuratowski|year=1921|journal=[[Fundamenta Mathematicae]]|pages=161–171|volume=2|number=1|url=http://matwbn.icm.edu.pl/ksiazki/fm/fm2/fm2122.pdf}}
* {{citation|first=Steven R.|last=Lay|title=Analysis / With an Introduction to Proof|edition=4th|publisher=Pearson / Prentice Hall|isbn=978-0-13-148101-5|year=2005|ref=harv}}
* {{citation|last=Morse|first= Anthony P.|year= 1965|title= A Theory of Sets |publisher= Academic Press|ref=harv}}
* {{citation|authorlink=ジョン・バークリー・ロッサー|first=J. Barkley |last=Rosser |year= 1953|title= Logic for Mathematicians | publisher=McGraw-Hill}}
* {{cite book|last=Tourlakis |first= George|year=2003|title=Lectures in Logic and Set Theory. Vol. 2: Set Theory|publisher=Cambridge Univ. Press|ref=harv}}
* {{cite book|last=van Heijenoort|first= Jean|year=1967|title=From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931|publisher=Harvard University Press, Cambridge MA|ISBN=0-674-32449-8| ref=harv}}
* {{citation|first=Robert S.|last=Wolf|title=Proof, Logic, and Conjecture / The Mathematician's Toolbox|publisher=W. H. Freeman and Co.|year=1998|isbn=978-0-7167-3050-7|ref=harv}}

{{DEFAULTSORT:しゆんしよつい}}
[[Category:集合論]]
[[Category:型理論]]
[[Category:数学に関する記事]]