are all functions injective