La definición dada de homomorfismo es la definición general