range of injective function