Consideremos un conjunto acotado formula_1 del espacio euclídeo, y consideremos una colección numerable de bolas abiertas centradas que recubre completamente a formula_2, es decir cuya unión contiene al conjunto formula_2.