An injective (one to one) function is a function that takes distinct points and maps them to distinct points. How does that compare to the official definition of injectivity, and why don't we use that as the actual definition? We will explore that question and see a simple example as well.