CW-complex, Hausdorff space, second-countable space, sober space
connected space, locally connected space, contractible space, locally contractible space
A topological group is called compact if its underlying topological space is a compact topological space.