Puede probarse que si una función cumple la primera condición entonces cumple las otras dos, de ahí que en la definición clásica de homomorfismo de grupos no se pidan las otras condiciones.