Mahler's compactness theorem
In mathematics, Mahler's compactness theorem, proved by Kurt Mahler (1946), is a foundational result on lattices in Euclidean space, characterising sets of lattices that are 'bounded' in a certain definite sense. Looked at another way, it explains the ways in which a lattice could degenerate (go off to infinity) in a sequence of lattices.
Source: Wikipedia — Mahler's compactness theorem (CC BY-SA 4.0)