Lema del Número de Lebesgue

Un lema que establece que para todo recubrimiento abierto de un espacio métrico compacto existe un número real positivo (número de Lebesgue) tal que todo subconjunto del espacio con diámetro menor que ese número está contenido en algún miembro del recubrimiento.