injective

not defined yet