An injective function, also called one-to-one, is a function $F(x)$ such that $x \neq y \Rightarrow F(x) \neq F(y)$.