finite set as compact object in set

Let \((X, \mathcal{T})\) be a topological space and \(A \subseteq X\) a finite subset. Then \(A\) is compact

corollary of Kompaktheit endlicher Vereinigung von kompakten Mengen