#sigma-compact #countable cover #compact sets #topological space #union of compacts