Es fácil verificar que tenemos otra relación de equivalencia, que coincidirá con la anterior cuando la operación del grupo sea conmutativa, pero no en general.