在函数 f:X->Y 中，作用域 X 中的每个元素 x 在到达域 Y 中都有唯一的映射元素 y，并值域中的每个元素 v 也都在作用域 X 中存在着唯一的映射元素 x；也就是说作用域与值域的元素是一一相对的。
