Let $T = (X, \mathcal{T})$ be a D1106: Topological space such that
(i) | $F_j \subseteq X$ is a D98: Closed set in $T$ for each $j \in J$ |
(i) | $\bigcap_{j \in J} F_j$ is the D76: Set intersection of $F = \{ F_j \}_{j \in J}$ |
Then $\bigcap_{j \in J} F_j$ is a D98: Closed set in $T$.