para todo conjunto medible formula_14.