Un homomorfismo local como el anterior se define por las siguientes condiciones: