la familiaM∗ de todos los conjuntosm∗ medibles es unσ -campo enS, ym∗, cuando se restringe aM∗, es una medida completa (denotadam y lla...la familiaM∗ de todos los conjuntosm∗ medibles es unσ -campo enS, ym∗, cuando se restringe aM∗, es una medida completa (denotadam y llamada la medidam∗ inducida; asím∗=m sucesivamenteM∗). m∗(X∩A)+m∗(X−A)=m∗(X∩A)+m∗n⋃k=1Ak≤m∗(X∩A)+n∑k=1m∗Ak.