y como cualesquiera dos clases de equivalencia distintas de formula_101 son disjuntas (véase 1.8.9), formula_101 es una partición de formula_1 (véase 1.5.6).