• The direct image function
    \[ R_{*}\colon \mathcal{P}\webleft (A\webright )\to \mathcal{P}\webleft (B\webright ) \]

    associated to $R$ is injective.


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


You can also use the contact form below: