En este caso los conjuntos de objetos medibles formula_1 serán subvariedades diferenciables.