injective function is also known as