Samengestelde relatie: verschil tussen versies

We gebruiken het bewerkingstekenZij <math>\timesR</math> vooreen hetrelatie [[cartesisch product]] vantussen twee verzamelingen. Zij <math>RA</math> eenen relatie<math>B</math>, tussen twee verzamelingendus <math>AR</math> enis een [[deelverzameling]] van het [[cartesisch product]] <math>A\times B</math>, en zij <math>S</math> een relatie tussen <math>B</math> en een derde verzameling <math>C</math>:

Dan definiëren we deDe samengestelde relatie van <math>R</math> en <math>S</math> is gedefinieerd als volgt

:<math>S\circ R=\left\{(a,c)\in A\times C|\mid\exists b\in B:(a,b)\in R\hbox{ en }(b,c)\in S\right\}</math>

De notatie <math>S\circ R</math> wordt soms gelezen als "<math>S</math> (komt) na <math>R</math>".