do injective functions have inverses