In Euclidean space R^n, every closed ball is compact by the Heine–Borel theorem.

In metric spaces, the intersection of a decreasing sequence of nonempty closed balls can be nonempty.