Puesto que una relación de equivalencia formula_20 sobre un conjunto formula_1 es reflexiva, tenemos