• Interaction With Composition. If $R$ and $S$ are reflexive, then so is $S\mathbin {\diamond }R$.

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


You can also use the contact form below: