Throughout, a subset S⊆X is closed in X exactly when X∖S∈T, and we refer to the three numbered conditions in the definition of a topological space.
Claim 1. We have X∖X=∅ and X∖∅=X. By condition 1, both ∅ and X belong to T. Hence X∖X∈T and X∖∅∈T, so X and ∅ are closed in X.
Claim 2. Let n∈N and let C1,…,Cn⊆X be closed in X. Let V denote the set of all x∈X such that x∈Ci for at least one i∈{1,…,n}. A point x∈X fails to lie in V precisely when x∈/Ci for every i∈{1,…,n}, that is, precisely when x∈X∖Ci for every such i. Therefore
X∖V=i=1⋂n(X∖Ci).
Each set X∖Ci belongs to T, because Ci is closed in X. By condition 3 the displayed intersection belongs to T, so V is closed in X.
Claim 3. Let I be a set and let (Ca)a∈I be a family of subsets of X with Ca closed in X for every a∈I. Let W denote the set of all x∈X such that x∈Ca for every a∈I. A point x∈X fails to lie in W precisely when there is some a∈I with x∈/Ca, that is, with x∈X∖Ca. Therefore
X∖W=a∈I⋃(X∖Ca).
The assignment a↦X∖Ca is a family of subsets of X indexed by I, and each of its members belongs to T because Ca is closed in X. By condition 2 the displayed union belongs to T, so W is closed in X. In the degenerate case I=∅ this argument still applies: then W=X and the displayed union is ∅, which belongs to T by condition 1.