The closure of an arbitrary intersection is contained in the intersection of the closures

up:: Closure (Topology)

Let be a Topological Space.

Let .

Since All sets are contained inside their closure, we have that .

Since , and since Closure preserves subset ordering, we have that

---

References

• Notas para um Curso de Física-Matemática, João Carlos Alves Barata. Cap. 27