A sequence of non-empty, compact, nested sets converges to its intersection.

Printable View