Si formula_20 es una relación de equivalencia sobre un conjunto formula_1 y si formula_32, entonces el conjunto formula_62 dado por