To show that the intersection
⋂j∈JFj is closed in
T, by definition, we must show that the complement
X∖⋂j∈JFj is open in
T. Applying result
R219: Difference of set and intersection equals union of differences, one has
X∖⋂j∈JFj=⋃j∈J(X∖Fj)
Since
Fj is closed in
T for each
j∈J, then
X∖Fj is open in
T for each
j∈J. By definition of a
D86: Topology, an arbitrary union of open sets is open. Thus,
⋃j∈J(X∖Fj) is open in
T and therefore
X∖⋂j∈JFj is open in
T. By definition of a closed set, then, the intersection
⋂j∈JFj is closed in
T.
◻