Queremos describir a formula_57, el conjunto potencia de formula_22.