Un homomorfismo de G en H es una función