Injective Function

在函数 f:X->Y 中，值域中的元素 v 都可以在作用域 X 中找到唯一对应的元素 x。