• Interaction With Ranges and Domains. We have
    \begin{align*} \mathrm{dom}\webleft (S\mathbin {\diamond }R\webright ) & \subset \mathrm{dom}\webleft (R\webright ),\\ \mathrm{range}\webleft (S\mathbin {\diamond }R\webright ) & \subset \mathrm{range}\webleft (S\webright ). \end{align*}

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


You can also use the contact form below: