e/Helly's selection theorem

Information
has gloss	eng: In mathematics, Helly's selection theorem states that a sequence of functions that is locally of bounded total variation and uniformly bounded at a point has a convergent subsequence. In other words, it is a compactness theorem for the space BVloc. It is named for the Austrian mathematician Eduard Helly.
lexicalization	eng: Helly's selection theorem
instance of	(noun) a proposition deducible from basic postulates theorem

Meaning
Italian
lexicalization	ita: teorema di Helly