monomorphism

not defined yet