Helly's selection theorem

Today it means: A theorem stating that a sequence of functions that is locally of bounded total variation and uniformly bounded at a point has a convergent subsequence. Full definition →