数学において、二項関係（にこうかんけい）あるいは二変数関係  は、集合  の元からなる順序対のあつまりである。別な言い方をすれば、直積集合  の部分集合を、集合  上の二項関係と呼ぶ。あるいはもっと一般に、二つの集合  に対して、 と  との間の二項関係とは、直積  の部分集合のことをいう。

二項関係の一つの例は素数全体の成す集合  と整数全体の成す集合  の間の整除関係である。この整除関係では任意の素数  は、 の倍数である任意の整数  に関係を持ち、倍数でない整数には関係しないものとして扱われる。例えば、素数  が関係を持つ整数には  などが含まれるが  や  は含まれない。同様に素数  が関係する整数として  などが挙げられるが、 や  はそうでない。

二項関係は数学のさまざまな分野で用いられ、不等関係、恒等関係、算術の整除関係、初等幾何学の合同関係、グラフ理論の隣接関係、線型代数学の直交関係などのさまざまな概念が二項関係として定式化することができる。また、写像の概念を特別な種類の二項関係として定義することもできる。二項関係は計算機科学においても重用される。

二項関係は -項関係 （各 -番目の成分が関係の -番目の始集合  からとられているような -組からなる集合）で  とした特別の場合である。

ある種の公理的集合論では（集合の一般化としての）類の上の関係を考えることができる。このような拡張は、集合論における元の帰属関係や包含関係の概念（に限った話ではないが）のモデル化を、ラッセルの逆理のような論理矛盾に陥らずに行うために必要である。

定義 
二項関係  は通常、任意の集合（または類）,  とそれらの直積  の部分集合  の順序三つ組  として定義される。このとき、集合  および  はそれぞれこの関係の始集合  および終集合  と呼ばれ、G はこの関係のグラフと呼ばれ、 と表すこともある。

 が関係  であるとき、 となることを、「 は  と -関係を持つ」などといい、 や  で表す。後者は、対の集合  の指示函数として  を見ることに対応する。

始集合  と終集合  が同じ場合であっても、対の各要素の順番は重要で、 ならば  および  はそれぞれ独立に真にも偽にもなりうる。

関係とグラフ 
定義から、グラフ  がまったく同じになるような関係があっても、始集合  や終集合  が異なれば、それらは相異なる別の関係である。たとえば  を共有する三つの関係 , ,  はそれぞれ異なる関係を表す。

ただし、関係の定義に始集合  や終集合  を考慮しない流儀も一般的である。この場合、二項関係とは  の部分集合であるグラフ  そのものをいうのに相違ない。このような立場では、対の集合 は  を含む任意の始集合から  を含む任意の終集合への関係を表す。

この差異を、関係の特別な場合として写像の概念に適用する場合を考えよう。多くの文脈では、写像の終域と値域とを異なるものとして峻別して扱うので、ひとつの「規準」として例えば実数  に  を対応させるとき、終域を実数全体  とするか、あるいはより精密に非負の実数全体  とするかによって、二つの異なる写像  および  が得られる。しかし別な文脈では、写像とは単に第一成分が一意であるような順序対の集合として扱われることもある。この差異はとある自明でない問題から生じていると見ることができる。例えば、前者の立場では写像の性質として全射性を考えることができるし、一方で後者は集合を生み出す関係性として写像を捉えることができる。

この二つの異なる定義の違いが問題となるのは圏論のような極めて厳密な文脈のみであって、殆どの場面で何れの流儀であってもさほど問題となることはないし、必要に応じて適当に用語や記法を変更してやれば、関係の制限や関係の合成、逆関係といった概念を定義することができる。

例 

4つの「もの」 と4人の人間  を想定する。ジョンはボールを所有し、メアリは人形を所有し、ヴィーナスは車を所有するが、誰も拳銃は所有しておらず、またイアンは何も所有していないものとする。このとき、「～は～に所有される」という二項関係は 
 

によって与えられる。ここで、 の最初の成分は「もの」の集合、二番目の成分は人の集合、最後の三番目の成分は  の形の順序対からなる集合となっている。順序対  が  のグラフに属していることは "" と書き表され、ボールがジョンに所有されていることを示している。

二つの異なる関係がまったく同じグラフを持つことがありうる。たとえば、上の例で何も所有していなかったイアンを除外した次の関係
 
は先ほどと異なり、全員が何かの所有者となっているが、グラフは先ほどと同じになっている。にもかかわらず,  はふつう、そのグラフ  と同一視あるいはそのものとして定義され、順序対  がグラフ  に属すことをしばしば "" と表す。

特殊な二項関係 
 と  上の二項関係のいくつか重要なクラスを以下に挙げる。

一意性条件:
 左一意的 
  の任意の元  と  の任意の元  について、 かつ  なるときは必ず  となるような関係  は左一意的あるいは単射であるという。
 右一意的 
  の任意の元  と  の任意の元  について、 かつ  なるときは必ず  であるような二項関係は右一意的あるいは函数的 であるという。このような関係は、部分写像とも呼ばれる。
 一対一 
 左一意的かつ右一意的ならば、関係は一対一であるという。

全域性条件:
 左全域的 
  の各元  に対して、それぞれ  となるような  がとれるとき、  は左全域的であるという。
 （この性質を単に、全域的  として言及することもあるが、次節にいう完全性の意味での  とは異なる概念である）
 右全域的  
  の各元  に対してそれぞれ  となるような  がとれるとき、 は右全域的あるいは全射であるという。
 対応 
 左全域的かつ右全域的な二項関係は対応と呼ばれる。

一意かつ全域性条件:
 函数関係 
 函数的かつ左全域的なる関係は函数関係または一意対応、あるいは単に函数もしくは写像であるという。
 全単射 
 一対一かつ対応となるような関係は、写像であり、全単射または双射と呼ばれる。

集合上の関係 

 で二項関係の始集合  と終集合  とが一致しているならば、簡単に  上の二項関係（あるいはもう少し明示的に  上の自己関係）と呼ぶ。自己関係のいくつかのクラスについては有向グラフとしてグラフ理論において広く調べられている。

集合  上の二項関係全体の成す集合  は、関係をその逆関係へ写す対合を備えた対合付き半群を成す。

集合  上の二項関係のいくつか重要なクラスとして、以下のようなものを挙げることができる：
 反射的 
  の各元  について  が満たされる関係  は反射的であるという。 
 例えば「大なりイコール」"" は反射関係だが、「大なり」"" は反射的ではない。
 非反射的  あるいは狭義 
  のどの元  についても  が満たされることが無いとき、 は非反射的あるいは無反射的な関係であるという。
 「大なり」"" は非反射的関係の例である。
 余反射的 
  の各元  について、 ならば   が成り立つとき、 は余反射的であるという。  
 「等しくて奇数である」という関係は余反射関係の例を与える。
 対称的 
  の各元  について、 ならば  となるような関係は対称であるという。 
 「血縁である」という関係は対称関係である。実際、 が  の血縁であるための必要十分条件は  が  の血縁であることである。
 反対称的 
  の各元  について、 かつ  ならば  = y となるならば、関係  は反対称であるという。
 「大なりイコール」"≥" は  かつ  ならば   ゆえ反対称関係の例を与える。
 非対称 
  の各元  について、 なるときは常に  が成立しないような関係  は非対称であるという。  
 「大なり」">" は  ならば  は成立しないから非対称である。
 推移的 
  の各元   について、 かつ  ならば  となるとき、関係  は推移的であるという。 
 「先祖である」という関係は推移的である。実際、 が  の先祖で、 が  の先祖ならば、 は  の先祖である。
 完全性 
  の任意の二元  について、 または  の一方あるいは両方が必ず満足されるとき、 は完全であるという。
 全順序集合における「大なりイコール」"≥" は完全関係の例である。本節にいう total は前節の total とは意味が異なる。
 三分的 
  の任意の元  に対して、, ,   のうちの何れか一つのみが成り立つとき、 は三分的（三分法的）であるという。
 「大なり」">" は三分的関係の例である。
 ユークリッド的 
  の任意の元   について、 かつ  が成り立てば必ず  かつ z R y が成り立つような関係  は右ユークリッド的であるという (通常、単に「ユークリッド的関係」とされていたら「右ユークリッド的関係」を指す)。
  の任意の元   について、 かつ  が成り立てば必ず  かつ  が成り立つような関係  は左ユークリッド的であるという。
 恒等関係 "" は   かつ  ならば  となるから(右)ユークリッド関係であり、また、勿論左ユークリッド関係でもある。
 連続的 
  の各元  に対して、 となるような  がそれぞれとれるとき、関係  は連続的であるという。
 「大なり」">" は整数全体の成す集合  上の連続的関係だが、正の整数全体の成す集合  上の連続的関係ではない（となるような正の整数  は存在しない）。一方で「小なり」"<" は  上の（あるいは有理数全体の成す集合  または実数全体の成す集合  上の）連続的関係である。
 集合的 
 集合  の任意の元  に対して、 となるような  全体の成すクラスが集合であるような関係は、集合的（あるいは集合状、集合様）であるという。 
 （これは真のクラス上の関係を認める場合でないと意味を持たない）
 順序数全体の成すクラス上の通常の順序関係 "<" は集合的関係だが、その逆順序 ">" は集合的ではない。
 整礎的 
  の任意の空でない部分集合Aが極小元a(Aのどの元xもxRaとならない)を持つときR は整礎的であるという。
自然数上の大小関係"≤"は整礎的である。正則性公理を仮定すると∈は任意の集合上で整礎的である。
 外延的 
  の任意の元  について、 の任意の元  について 　が成り立てば必ず  となるとき  は外延的であるという。
全順序は外延的である。∈は任意の集合上で外延的である。

反射的、対称的かつ推移的な関係は同値関係（あるいは等値関係）と呼ばれる。反射的、反対称的かつ推移的な関係は半順序である。半順序が完全ならば全順序、単純順序、線型順序あるいは鎖などと呼ばれる。整礎的な線型順序は整列順序と呼ばれる。ある関係が対称、推移的かつ連続的ならば必ず反射的である。

二項関係に対する操作 
 が  と  の上の二項関係ならば、次のような  と  上の二項関係が定まる：
 逆  
  
 ある集合上の二項関係がその逆関係と一致することと、その関係が対称であることとは同値である（を参照）。

 が  上の二項関係ならば、次のような  上の二項関係が定義される：
 反射閉包  
 ;
 あるいは  を含む最小の反射関係。これは  を含む反射関係全ての交わりに等しい。
 反射還元  
 ;
 あるいは  上の  に含まれる最大の非反射関係。
 推移閉包  
  を含む  の最小の推移関係。これは、 を含む推移関係全ての交わりに等しい。
 推移還元  
  と同じ推移閉包を持つ最小の関係。
 反射推移閉包  
 ;
  を含む最小の前順序（擬順序; preorder）。
 反射推移対称閉包  
  上の  を含む最小の同値関係。

 と  がともに  と  上の二項関係ならば、次のような関係が定義できる：
 結び（和）
 
 交わり（積）
 

 が  と  の上の二項関係で、 が  と  の上の二項関係ならば、次のような  と  上の二項関係が定まる：
 合成  
 . 
 ここで用いた  と  の順番（合成順とは逆順）は写像の合成の標準的な記法と一致する。正順に書く記法として  または  と（あるいは少し紛らわしいが  とも）書くことがある。

補関係 
 が  と  上の二項関係ならば、 の 補関係  が、
  となるのは  でないとき
として定まる。

逆関係の補関係は補関係の逆関係である。

 の場合には補関係は以下の性質を持つ：
 関係が対象ならばその補関係もそうである。
 反射関係の補関係は非反射的であり、逆もまた同様である。
 狭義弱順序の補関係は全前順序であり、逆もまた同様である。

逆関係の補関係も同様の性質を持つ。

関係の制限 
集合  の関係の部分集合  への制限  とは、その関係のグラフに属する順序対  で  と  がともに  に属するようなもの全体の成す集合をいう。

関係が、反射的である、非反射的である、対称である、反対称である、非対称である、推移的である、完全である、三分的である、半順序である、全順序である、狭義弱順序である、全前順序である、同値関係であるといった性質は、制限によって保たれる。

しかし、関係の制限の推移閉包はもとの関係の推移閉包の制限の部分集合とはなるが一般には一致しない。

また、完備性  のいくつかの概念（完全性  と混同してはいけない）は、制限によって遺伝しない。例えば、実数全体の成す集合  上で、通常の大小関係 "" は「 の任意の空でない部分集合  で  に上界を持つものは  に上限（最小上界）を持つ」という性質があるが、しかし関係 "" を有理数全体の成す集合  上に制限すれば、有理数からなる部分集合の上限は必ずしも有理数ではないから、この性質は保たれない。

 と  上の二項関係の左制限  あるいは右制限  はそれぞれ、その始集合あるいは終集合の部分集合  に対して、その関係に属する対  でそれぞれ  あるいは  が  の元となっているようなもの全体として得られる関係をいう。

集合と類 
（集合の）恒等関係（「～に等しい」）、帰属関係（「～の元である」）、包含関係（「～の部分集合である」）といったようなある種の「関係」では、これらの関係の始集合および終集合となるべきものが公理的集合論の通常の公理系では集合とはならず、上述の意味での二項関係として理解することができないということがしばしば起こりうる。

例えば、（通常の集合論では集合にならない）「集合全体の成す集合」を始集合と終集合に持つ二項関係 “” として「恒等関係」の一般概念のモデルを考えたいとする。この問題は、通常は（宇宙または普遍集合と呼ばれるような）「十分大きな」集合  をとって、“” の代わりに考える対象を  に含まれる集合だけに制限した制限関係 “” を考えることによって回避する（必要ならば普遍集合をさらに大きなものに取り替える）。同様に、「包含関係」 も始集合と終集合をある特定の集合  の冪集合  に制限して関係  を考え、また同様に「帰属関係」 も始集合を  に終集合を  に制限することで関係  が定められて問題を回避することができる。

もっと別な解決の方法として、真の類を持つような集合論、たとえばやモース＝ケリー集合論のようなものを考え、始域 (domain)、終域 (codomain)（およびグラフ）が（集合だけでなく）真の類であることを許すような関係を考えるというのがある。このような集合論と関係の定義であれば、先ほどの恒等関係、帰属関係、包含関係は特に注釈を入れることなくそのまま二項関係として扱うことができる（順序三つ組 (X, Y, G) の概念を考えるには少々修正が必要で、通常は真の類は順序組の元になれないものとする。もちろんこの文脈でもグラフを指示函数と同一視することは可能である）。

ほとんどの数学的な文脈では、恒等関係、帰属関係、包含関係は暗黙のうちに適当な集合に制限して考えているものとして扱って差し支えない。

二項関係の総数 

n-元集合上の相異なる二項関係の総数は 2n2 である。

Notes:
 非反射関係の総数は反射関係の総数に等しい。
 狭義半順序関係（非反射的推移関係）の総数は半順序関係の総数に等しい。
 狭義弱順序関係の総数は全前順序関係の総数に等しい。
 全順序関係は半順序かつ全前順序な関係である。半順序でも全前順序でもない前順序関係の総数は、「前順序関係の総数」引く「半順序関係の総数」引く「全前順序関係の総数」足す「全順序関係の総数」となる。
 同値関係の総数は類別の総数と等しくベル数となる。

二項関係の全体は、ある関係とその補関係の対に分けることができる（ただし n = 0 のときは関係はその補関係と一致するので除く）。非対称関係の全体は、ある関係、その補関係、その逆関係、その逆補関係の四つ組に分けることができる。

よくある二項関係の例 

 順序関係（狭義の順序を含む）
 小なり 
 小なりイコール 
 大なり 
 大なりイコール 
 整除関係 
 包含関係 
 同値関係 
 恒等関係 
 合同 
 （アフィン空間における）平行関係 
 （集合の双射による）対等関係 
 同型 
 従属関係: 対称かつ反射的な関係
 独立関係: 対称かつ非反射的関係