Una función formula_5 es un homomorfismo si verifica: