epimorphism

not defined yet