一种函数，对X中任一元素x都有集合Y中的元素y满足x与y是f相关的；即对每一个输入值，Y中都有至少一个与之对应的输出值。