properties of injective functions