general formula for injective function