rmula_52的子集。formula_24中任一formula_1都与formula_25中的formula_18唯一对应，且有序对formula_20属于formula_6。formula_24与formula_25的关系若满足条件（1），则为多值函数。函数都是多值函数，但多值函数不都是函数。formula_24与formula_25的关系若满足条件（2），则为偏函数。函数都是偏函数，但偏函数不都是函数。除非特别指明，本条目中的“函数”总是指同时满足以上两个条件的关系。考虑如下例子：Sectio