El conjunto formula_23 formado por todos los conjuntos formula_18-medibles es una formula_2-álgebra en X y formula_26 (formula_18 restringida en formula_28) es una medida en X.