• Interaction With Composition. For each pair of composable relations $R\colon A\mathrel {\rightarrow \kern -9.5pt\mathrlap {|}\kern 6pt}B$ and $S\colon B\mathrel {\rightarrow \kern -9.5pt\mathrlap {|}\kern 6pt}C$, we have[1]

Footnotes

[1] That is, we have

Noticed something off, or have any comments? Feel free to reach out!


You can also use the contact form below: