数学におけるは、古い文献に頻繁に現れていた多価函数（多値写像）の概念を明確にしたものである。通常の意味の函数（写像）が定義集合の各元に値の集合の一つの元を値として割り当てるのに対して、多価函数は値の集合の複数の元を割り当てることが許されるのであった。対応の概念を考えるときには、これら複数の函数値を一つの集合（値の集合の部分集合）として割り当てる。言い換えれば、対応とは定義域の各元に終域の部分集合を割り当てることである。
定義 を集合、 をグラフとし、直積演算子を で表現する。三つ組 が次の条件、
を満たすとき は「 から への対応」である。 を の、 を の、 を のグラフと呼ぶ。文献によっては がかつであるときに限って対応と呼ぶ。
表記
対応 は次のようにも表記される：
定義域と値域 グラフの左射影は の、右射影は の と呼ばれる。集合で表現するなら、
である。
像 に対する の部分集合 は「 による の像」「 による の値 (value) 」と呼ばれる。このように集合論的に像を定義することで、多価関数のように要素の取り出しが出来る。
このとき は のグラフ に一致する。
相等 二つの対応 と が相等しい: とは、順序三つ組としての相当を言う。これは、始域、終域を共有し、始域の各元の像が常に等しいこと、すなわち集合として であって、なおかつどんな に対しても、 を満たすことである。
なお、終域を重視しない立場もあり、その場合はグラフの相等 を以って対応の相等 と定める。 となるための必要十分条件は かつ ならば を満たすことであり、また、 と が順序三つ組として相等であることである。
分類
左全域的対応 対応 において であるとき、 は（左）全域的対応という。
右全域的対応 対応 において であるとき、 は全射あるいは右全域的対応という。
部分写像
対応 は、「各元 に対して となるような が一つしかない（すなわち、 のどの元 についても がただ一つの元からなる）」という条件をみたすとき、部分写像（一意対応）という。
写像
特に （全域的）なとき写像と言われる。 が（部分）写像であるとき、 を でしばしば略記する。
写像の言葉で言えば、集合 から集合 への対応 とは、 から の冪集合 への写像、すなわち集合値写像 として理解できる。
逆対応
対応 が与えられているとき、 をグラフとする対応 を の逆対応と言い、 で表す。
対応と関係
対応 が与えられているとき、 の元 と の元 に対して と置いて得られる は二項関係である。逆に二項関係 が与えられたとき、 に対して、 を割り当てる対応 が定まる。
直積の部分集合をグラフとして定まるという意味では、対応は二項関係と同じ概念を表すものと考えることができるが、対応というときはある集合から別な集合へ元を写すというニュアンスが強い。例えば、対応 に対して、 となるような の元 を対応 の不動点と言う。
対応によって、一つの元に（部分集合に属する）複数の元が割り当てられているとみなすと、多価函数に近いものと考えることもできるが、対応による像の濃度は元ごとに異なっていてもよいという点で多価函数とは異なる。
脚注
注釈
出典
参考文献
関連項目 集合 二項関係
外部リンク