Un subconjunto formula_19 se dice formula_18-medible si formula_21 para todo formula_22.