example of injective function