que los homomorfismos preservan productos, neutros e inversos.