Sea formula_20 una relación de equivalencia sobre un conjunto formula_1.