hemimorphism

not defined yet