Exhaustion by compact sets
In mathematics, especially analysis, exhaustion by compact sets of a topological space is a nested sequence of compact subsets of , such that is contained in the interior of , i.e. for each and .
For example, consider and the sequence of closed balls.
