# Closure of Intersection is Subset of Intersection of Closures

## Theorem

Let $T$ be a topological space.

Let $I$ be an indexing set.

Let $\forall i \in I: H_i \subseteq T$.

Then:

$\ds \map \cl {\bigcap_I H_i} \subseteq \bigcap_I \map \cl {H_i}$

where $\map \cl {H_i}$ denotes the closure of $H_i$.

## Proof

Since $\ds \bigcap_I \map \cl {H_i}$ is an intersection of closed sets, it is closed, from Topology Defined by Closed Sets.

Also, it contains $\ds \bigcap_I H_i$ and so by the main definition of closure also contains $\ds \map \cl {\bigcap_I H_i}$.

$\blacksquare$