In \(X=\{a,b,c\}\) let \(\mathcal{T}_1=\{\varnothing,X,\{a\}\}\) and \(\mathcal{T}_2=\{\varnothing,X,\{b\}\}\). The union \(\mathcal{T}_1\cup\mathcal{T}_2\) is not a topology. Which set is missing?
A topology on a set \(X\) is a family \(\mathcal{T}\) of subsets of \(X\), whose members \(U\) are called open sets, containing \(\varnothing\) and \(X\) and closed under arbitrary unions and finite intersections.