If a function's output came from a unique input, they defined it as injective.

如果一个函数的输出来自一个唯一的输入，他们将其定义为单射的。