逆関係

集合 \(A\) から集合 \(B\) への二項関係を \(R\) とする。

集合 \(B\) から集合 \(A\) への二項関係を \[ R^{-1}\subset B\times A \] と書き、二項関係 \(R\) の逆関係という。

\(R\) を集合 \(A\) から集合 \(B\) への二項関係、\(S\) を集合 \(B\) から集合 \(C\) への二項関係とする。このとき \[ S\circ R\subset A\times C \] を \(R\) と \(S\) の合成関係という。