• Interaction With Products. Let $f\colon A\to A'$ and $g\colon B\to B'$ be maps of sets. We have
    \[ \webleft (f\times g\webright )^{-1}\webleft (U'\times V'\webright )=f^{-1}\webleft (U'\webright )\times g^{-1}\webleft (V'\webright ) \]

    for each $U'\in \mathcal{P}\webleft (A'\webright )$ and each $V'\in \mathcal{P}\webleft (B'\webright )$.


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


You can also use the contact form below: