Con todo, un conjunto formula_78 se dice medible según Lebesgue si para todo formula_79 existe un conjunto abierto formula_80 con formula_81 tal que formula_82.