• Interaction With Unions of Families of Subsets II. The diagram

    commutes, i.e. we have

    \[ \webleft[\bigcup _{U\in \mathcal{U}}U,V\webright]_{X}= \bigcap _{U\in \mathcal{U}}\webleft [U,V\webright ]_{X} \]

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


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


You can also use the contact form below: