Homomorfizma tanımında birebirlik ve örtenlik şartı yok. Sanırım homeomorfizma ile karışıyor. Eğer f fonksiyonu birebir ve örten ise homomorfizmaya izomorfizma deniyor. Bu durumda homomorfizmanın tersinden bahsedebilirsiniz.