单射：不撞车

单射是说不同的输入一定给出不同的输出，绝不"撞车"。比如"x 加 1"是单射（不同数加 1 还是不同）。而"x 的平方"不是单射，因为 2 和 -2 都给出 4，两个输入撞到同一个输出。