Exhaustion by compact subsets

Summary