Como vimos en §§5 y 6, esta premedida induce una medida externam∗ en todos los subconjuntos deEn; ym∗,, a su vez, induce una medidam en elσ campoM∗ d...Como vimos en §§5 y 6, esta premedida induce una medida externam∗ en todos los subconjuntos deEn; ym∗,, a su vez, induce una medidam en elσ campoM∗ de conjuntosm∗ medibles. Por definición,m∗A es el glb de todos los valores de cobertura de base deA. Así dadoε>0, hay una cobertura básica{Bk}⊆C de conjuntos no vacíosBk tal que
