関係の合成

数学における二項関係の合成（ごうせい、）は、与えられた二つの関係 "R", "S" から新たな関係 "S" ∘ "R" を作り出す操作である。この最もよく知られた特別の場合が写像の合成である。
定義.
"R" ⊆ "X" × "Y", "S" ⊆ "Y" × "Z" を二つの関係とすると、それらの合成 "S" ∘ "R" は
という関係として与えられる。これは、"S" ∘ "R" ⊆ "X" × "Z" は
というようにも言うことができる。文献によってはここで定義した関係 "S" ∘ "R" のことを "R" ∘ "S" と書くような分野もあるが、ここでは（関係の合成の特別の場合である）写像の合成の通常の表記法に合わせた。場合によっては、適用順序が左からか右からかを区別するために必要ならば ∘"l", ∘"r" と明示的に書き分けるものもある。
計算機科学ではもっと別なZ記法も用いられる。Z記法では、通常の右からの合成には ∘ を使うが、左からの合成には ⨾ を用いる（これはコードポイントU+2A3Eの太いセミコロンである）。このセミコロンを用いた記法は、主に計算機科学の文脈での圏論における射の合成の記法と一致する。
二項関係 "R" ⊆ "X" × "Y" はしばしば、集合を対象とする関係の圏 Rel における射 "R": "X" → "Y" と見做される。圏 Rel における射の合成は、先ほど定義した関係の合成によって与えられる。集合の圏 Set は対象の類を同じくするが射が少ない Rel の部分圏である。この例の一般化がの理論である。
関係の結合.
二項関係ではなく一般の多項関係に対しても定義される別な種類の関係の合成として、関係代数の演算である結合 (join) がある。結合を使えば、二項関係の通常の合成は、三項関係の結合をとったものに中間成分を取り除く射影を施すことによって得られるものと一致する。