Presumably this is the topological Lebesgue number lemma. Roughly, say that a metric space has the Lebesgue number property if for every open cover of there exists some such that whenenver satisfies we must have that for some . Then the Lebesgue number lemma states that every compact metric space has the Lebesgue number property. Roughly, this expresses the idea that for a compact metric space open covers have to cover 'a lot'. It is useful in proving the equivalence of compactness, limit point compactness, and sequential compactness in metric spaces as well as proving the Heine-Cantor theorem.