#sigma-compact #countable union #compact sets #mathematical space #sum of compacts #exhaustion by compact sets