En concreto, si "E" es un conjunto medible según Jordan entendido como el intervalo formula_56, y definimos la función indicatriz formula_57 como