二項関係

数学において、二項関係（にこうかんけい、）あるいは二変数関係 は、集合 の元からなる順序対のあつまりである。別な言い方をすれば、直積集合 の部分集合を、集合 上の二項関係と呼ぶ。あるいはもっと一般に、二つの集合 に対して、 と との間の二項関係とは、直積 の部分集合のことをいう。
二項関係の一つの例は素数全体の成す集合 と整数全体の成す集合 の間の整除関係である。この整除関係では任意の素数 は、 の倍数である任意の整数 に関係を持ち、倍数でない整数には関係しないものとして扱われる。例えば、素数 が関係を持つ整数には などが含まれるが や は含まれない。同様に素数 が関係する整数として などが挙げられるが、 や はそうでない。
二項関係は数学のさまざまな分野で用いられ、不等関係、恒等関係、算術の整除関係、初等幾何学の合同関係、グラフ理論の隣接関係、線型代数学の直交関係などのさまざまな概念が二項関係として定式化することができる。また、写像の概念を特別な種類の二項関係として定義することもできる。二項関係は計算機科学においても重用される。
二項関係は-項関係 （各 -番目の成分が関係の -番目の始集合 からとられているような-組からなる集合）で とした特別の場合である。
ある種の公理的集合論では（集合の一般化としての）類の上の関係を考えることができる。このような拡張は、集合論における元の帰属関係や包含関係の概念（に限った話ではないが）のモデル化を、ラッセルの逆理のような論理矛盾に陥らずに行うために必要である。
定義.
二項関係 は通常、任意の集合（または類）, とそれらの直積 の部分集合 の順序三つ組 として定義される。このとき、集合 および はそれぞれこの関係の始集合 および終集合 と呼ばれ、"G" はこの関係のグラフと呼ばれ、 と表すこともある。
 が関係 であるとき、 となることを、「 は と -関係を持つ」などといい、 や で表す。後者は、対の集合 の指示函数として を見ることに対応する。
始集合 と終集合 が同じ場合であっても、対の各要素の順番は重要で、 ならば および はそれぞれ独立に真にも偽にもなりうる。
関係とグラフ.
定義から、グラフ がまったく同じになるような関係があっても、始集合 や終集合 が異なれば、それらは相異なる別の関係である。たとえば を共有する三つの関係 , , はそれぞれ異なる関係を表す。
ただし、関係の定義に始集合 や終集合 を考慮しない流儀も一般的である。この場合、二項関係とは の部分集合であるグラフ そのものをいうのに相違ない。このような立場では、対の集合 は を含む任意の始集合から を含む任意の終集合への関係を表す。
この差異を、関係の特別な場合として写像の概念に適用する場合を考えよう。多くの文脈では、写像の終域と値域とを異なるものとして峻別して扱うので、ひとつの「規準」として例えば実数 に を対応させるとき、終域を実数全体 とするか、あるいはより精密に非負の実数全体 とするかによって、二つの異なる写像 および が得られる。しかし別な文脈では、写像とは単に第一成分が一意であるような順序対の集合として扱われることもある。この差異はとある自明でない問題から生じていると見ることができる。例えば、前者の立場では写像の性質として全射性を考えることができるし、一方で後者は集合を生み出す関係性として写像を捉えることができる。
この二つの異なる定義の違いが問題となるのは圏論のような極めて厳密な文脈のみであって、殆どの場面で何れの流儀であってもさほど問題となることはないし、必要に応じて適当に用語や記法を変更してやれば、関係の制限や関係の合成、逆関係といった概念を定義することができる。
例.
4つの「もの」 と4人の人間 を想定する。ジョンはボールを所有し、メアリは人形を所有し、ヴィーナスは車を所有するが、誰も拳銃は所有しておらず、またイアンは何も所有していないものとする。このとき、「～は～に所有される」という二項関係は 
によって与えられる。ここで、 の最初の成分は「もの」の集合、二番目の成分は人の集合、最後の三番目の成分は の形の順序対からなる集合となっている。順序対 が のグラフに属していることは " と書き表され、ボールがジョンに所有されていることを示している。
二つの異なる関係がまったく同じグラフを持つことがありうる。たとえば、上の例で何も所有していなかったイアンを除外した次の関係
は先ほどと異なり、全員が何かの所有者となっているが、グラフは先ほどと同じになっている。にもかかわらず, はふつう、そのグラフ と同一視あるいはそのものとして定義され、順序対 がグラフ に属すことをしばしば " と表す。
特殊な二項関係.
 と 上の二項関係のいくつか重要なクラスを以下に挙げる。
一意性条件:
全域性条件:
一意かつ全域性条件:
集合上の関係.
 で二項関係の始集合 と終集合 とが一致しているならば、簡単に 上の二項関係（あるいはもう少し明示的に 上の自己関係 ）と呼ぶ。自己関係のいくつかのクラスについては有向グラフとしてグラフ理論において広く調べられている。
集合 上の二項関係全体の成す集合 は、関係をその逆関係へ写す対合を備えた対合付き半群を成す。
集合 上の二項関係のいくつか重要なクラスとして、以下のようなものを挙げることができる：
反射的、対称的かつ推移的な関係は同値関係（あるいは等値関係）と呼ばれる。反射的、反対称的かつ推移的な関係は半順序である。半順序が完全ならば全順序、単純順序、線型順序あるいは鎖などと呼ばれる。整礎的な線型順序は整列順序と呼ばれる。ある関係が対称、推移的かつ連続的ならば必ず反射的である。
二項関係に対する操作.
 が と の上の二項関係ならば、次のような と 上の二項関係が定まる：
 が 上の二項関係ならば、次のような 上の二項関係が定義される：
 と がともに と 上の二項関係ならば、次のような関係が定義できる：
 が と の上の二項関係で、 が と の上の二項関係ならば、次のような と 上の二項関係が定まる：
補関係.
 が と 上の二項関係ならば、 の 補関係 が、
として定まる。
逆関係の補関係は補関係の逆関係である。
 の場合には補関係は以下の性質を持つ：
逆関係の補関係も同様の性質を持つ。
関係の制限.
集合 の関係の部分集合 への制限 とは、その関係のグラフに属する順序対 で と がともに に属するようなもの全体の成す集合をいう。
関係が、反射的である、非反射的である、対称である、反対称である、非対称である、推移的である、完全である、三分的である、半順序である、全順序である、狭義弱順序である、全前順序である、同値関係であるといった性質は、制限によって保たれる。
しかし、関係の制限の推移閉包はもとの関係の推移閉包の制限の部分集合とはなるが一般には一致しない。
また、完備性 のいくつかの概念（完全性 と混同してはいけない）は、制限によって遺伝しない。例えば、実数全体の成す集合 上で、通常の大小関係 " は「 の任意の空でない部分集合 で に上界を持つものは に上限（最小上界）を持つ」という性質があるが、しかし関係 " を有理数全体の成す集合 上に制限すれば、有理数からなる部分集合の上限は必ずしも有理数ではないから、この性質は保たれない。
 と 上の二項関係の左制限 あるいは右制限 はそれぞれ、その始集合あるいは終集合の部分集合 に対して、その関係に属する対 でそれぞれ あるいは が の元となっているようなもの全体として得られる関係をいう。
集合と類.
（集合の）恒等関係（「～に等しい」）、帰属関係（「～の元である」）、包含関係（「～の部分集合である」）といったようなある種の「関係」では、これらの関係の始集合および終集合となるべきものが公理的集合論の通常の公理系では集合とはならず、上述の意味での二項関係として理解することができないということがしばしば起こりうる。
例えば、（通常の集合論では集合にならない）「集合全体の成す集合」を始集合と終集合に持つ二項関係 “” として「恒等関係」の一般概念のモデルを考えたいとする。この問題は、通常は（宇宙または普遍集合と呼ばれるような）「十分大きな」集合 をとって、“” の代わりに考える対象を に含まれる集合だけに制限した制限関係 “” を考えることによって回避する（必要ならば普遍集合をさらに大きなものに取り替える）。同様に、「包含関係」 も始集合と終集合をある特定の集合 の冪集合 に制限して関係 を考え、また同様に「帰属関係」 も始集合を に終集合を に制限することで関係 が定められて問題を回避することができる。
もっと別な解決の方法として、真の類を持つような集合論、たとえばやモース＝ケリー集合論のようなものを考え、始域 (domain)、終域 (codomain)（およびグラフ）が（集合だけでなく）真の類であることを許すような関係を考えるというのがある。このような集合論と関係の定義であれば、先ほどの恒等関係、帰属関係、包含関係は特に注釈を入れることなくそのまま二項関係として扱うことができる（順序三つ組 ("X", "Y", "G") の概念を考えるには少々修正が必要で、通常は真の類は順序組の元になれないものとする。もちろんこの文脈でもグラフを指示函数と同一視することは可能である）。
ほとんどの数学的な文脈では、恒等関係、帰属関係、包含関係は暗黙のうちに適当な集合に制限して考えているものとして扱って差し支えない。
二項関係の総数.
"n"-元集合上の相異なる二項関係の総数は 2"n"2 である。
Notes:
二項関係の全体は、ある関係とその補関係の対に分けることができる（ただし "n" = 0 のときは関係はその補関係と一致するので除く）。非対称関係の全体は、ある関係、その補関係、その逆関係、その逆補関係の四つ組に分けることができる。