数学における二項関係の逆関係（ぎゃくかんけい、）は、関係（のグラフ）に属する順序対の成分を逆順にして得られる関係である。例えば、「～の子である」という関係の逆関係は「～の親である」という関係である。厳密に言えば、"L" ⊆ "X" × "Y" を "X" から "Y" への関係とするとき、その逆関係 "L" は によって定まる関係をいう 。これはとも書ける。逆関係 "L" などと書く記法は逆写像の記法の流用である。写像はその多くが逆写像を持たないのに対し、関係は必ず逆関係を持つ。ただし、このような記法を用いているにもかかわらず、逆関係は関係の合成の意味での逆元にはなっていない、つまり一般にはであることに注意しなければならない。逆関係は反対関係 や（ダガー圏のよく知られた例として、転置行列と同様のものとして見て）転置関係 とも呼ばれ、"L

出典:wikipedia