"Si formula_20 es una relación de equivalencia sobre un conjunto formula_1, entonces el conjunto cociente formula_101 es una partición de formula_1 y, recíprocamente, si formula_147 es una partición del conjunto formula_1, entonces existe una relación formula_20 tal que formula_150."