Propiedad: Toda medida en X, definida en formula_15, es una medida exterior en X.