Let $A$ and $B$ be sets and let $\webleft\{ R_{i}\webright\} _{i\in I}$ be a family of relations from $A$ to $B$.

  1. Interaction With Inverses. We have
    \[ \webleft (\bigcap _{i\in I}R_{i}\webright )^{\dagger } = \bigcap _{i\in I}R^{\dagger }_{i}. \]

Item 1: Interaction With Inverses
Clear.


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


You can also use the contact form below: