en donde el ínfimo se toma sobre todos los formula_5-recubrimientos numerables de formula_14.