この記事は英語版の対応するページを翻訳することにより充実させることができます。（2024年5月）翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。

英語版記事を日本語へ機械翻訳したバージョン（Google翻訳）。

万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。

信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。

履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。

翻訳後、{{翻訳告知|en|Composition of relations|…}}をノートに追加することもできます。

Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針についての説明があります。

数学における二項関係の合成（ごうせい、英: composition）は、与えられた二つの関係 R, S から新たな関係 S ? R を作り出す操作である。この最もよく知られた特別の場合が写像の合成である。
定義

R ⊆ X × Y, S ⊆ Y × Z を二つの関係とすると、それらの合成 S ? R は S ∘ R = { ( x , z ) ∈ X × Z ∣ ∃ y ∈ Y : ( x , y ) ∈ R ∧ ( y , z ) ∈ S } ⊆ X × Z {\displaystyle S\circ R=\{(x,z)\in X\times Z\mid \exists y\in Y:(x,y)\in R\land (y,z)\in S\}\subseteq X\times Z}

という関係として与えられる。これは、S ? R ⊆ X × Z は(x, z) ∈ S ? R ⇔ x R y S z となる y ∈ Y が存在する

というようにも言うことができる。文献によってはここで定義した関係 S ? R のことを R ? S と書くような分野もあるが、ここでは（関係の合成の特別の場合である）写像の合成の通常の表記法に合わせた。場合によっては、適用順序が左からか右からかを区別するために必要ならば ?l, ?r と明示的に書き分けるものもある[1]。

計算機科学ではもっと別なZ記法も用いられる。Z記法では、通常の右からの合成には ? を使うが、左からの合成には ⨾ を用いる（これはコードポイントU+2A3Eの太いセミコロンである[2]）[3]。このセミコロンを用いた記法は、主に計算機科学の文脈での圏論における射の合成の記法と一致する。

二項関係 R ⊆ X × Y はしばしば、集合を対象とする関係の圏 Rel における射 R: X → Y と見做される。圏 Rel における射の合成は、先ほど定義した関係の合成によって与えられる。集合の圏 Set は対象の類を同じくするが射が少ない Rel の部分圏である。この例の一般化が寓意（英語版）の理論である。
性質

関係の合成は結合的である。

S ? R の逆関係は (S ? R)−1 = R−1 ? S−1 である。これにより、一つの集合上の二項関係全体は対合半群となる。

函数的関係の合成はふたたび函数的である。

R および S が単射ならば合成 S ? R も単射である。逆に合成が単射ならば必ず R は単射となる。

R および S が全射ならば合成 S ? R も全射である。逆に合成が全射ならば必ず S が全射となる。

集合 X 上の二項関係（つまり X から X への関係）全体の成す集合に（右または左からの）関係の合成を考えたものは、零元付きモノイドを成す。単位元は X 上の恒等関係、零元は空関係である。

関係の結合詳細は「結合 (リレーショナル代数)」を参照

二項関係ではなく一般の多項関係に対しても定義される別な種類の関係の合成として、関係代数の演算である結合 (join) がある。結合を使えば、二項関係の通常の合成は、三項関係の結合をとったものに中間成分を取り除く射影を施すことによって得られるものと一致する。
関連項目

二項関係

Demonic composition

写像の合成

Join (SQL)

注釈^ Kilp, Knauer & Mikhalev, p. 7
^ ⇒http://www.fileformat.info/info/unicode/char/2a3e/index.htm
^ U+2A3E のセミコロンは、欧文などの地の文の約物としてのセミコロンと（フォントデザインによっては小さいフォントサイズなどでは）紛らわしい場合もあるので、大文字版 ⨟ ( ⇒U+2A1F) を用意しているフォントもある。非ユニコードなLaTeXでは stmaryrd パッケージが用意している \fatsemi コマンドを使えば利用できる。

参考文献

M. Kilp, U. Knauer, A.V. Mikhalev, Monoids, Acts and Categories with Applications to Wreath Products and Graphs, De Gruyter Expositions in Mathematics vol. 29, Walter de Gruyter, 2000, ISBN 3-11-015248-7.