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$.