#sigma-compact #countable steps #exhaustion by compact sets #mathematical analysis