• Interaction With Unions I. The diagram

    commutes, i.e. we have

    \[ \bigcup _{W\in \mathcal{U}\cup \mathcal{V}}W=\webleft(\bigcup _{U\in \mathcal{U}}U\webright)\cup \webleft(\bigcup _{V\in \mathcal{V}}V\webright) \]

    for each $\mathcal{U},\mathcal{V}\in \mathcal{P}\webleft (\mathcal{P}\webleft (X\webright )\webright )$.


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


You can also use the contact form below: