canónica que envía cada elemento en su clase de equivalencia;