• Idempotency. We have
    \[ \webleft (R^{\mathrm{refl}}\webright )^{\mathrm{refl}} = R^{\mathrm{refl}}. \]

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


You can also use the contact form below: