#sigma-compact #countable union #compact subsets #topological space #lindelöf space #building space