(from Basis for a Topology)
This is one of the basic courses for students beginning study towards the Ph.D. degree in mathematics.
Content: Topological and metric spaces, continuity, subspaces, products and quotient topology, compactness and connectedness, extension theorems, topological groups, topological and differentiable manifolds, tangent spaces, vector fields, submanifolds, inverse function theorem, immersions, submersions, partitions of unity, Sard's theorem, embedding theorems, transversality, classification of surfaces.
There are two proofs in this solution regarding countable collections.