But that is the definition of injective.