Let $R$ and $S$ be relations on $A$.

  1. Interaction With Inverses. If $R$ is reflexive, then so is $R^{\dagger }$.
  2. Interaction With Composition. If $R$ and $S$ are reflexive, then so is $S\mathbin {\diamond }R$.

Item 1: Interaction With Inverses
Clear.
Item 2: Interaction With Composition
Clear.


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


You can also use the contact form below: