Exhaustion by compact sets

In mathematics, especially analysis, exhaustion by compact sets of an open set E in the Euclidean space Rⁿ (or a manifold with countable base) is an increasing sequence of compact sets , where by increasing we mean is a subset of , with the limit (union) of the sequence being E.