Luego, cada tipo de una permutación define una partición de formula_31.