definitionabstract-algebra Definition A map T:V→W is injective if and only if Tu=Tv⟹u=v for all u,v∈V. Examples