formula_24映射到formula_25的函数formula_6是formula_24与formula_25的直积formula_52的子集。formula_24中任一formula_1都与formula_25中的formula_18唯一对应，且有序对formula_20属于formula_6。formula_24与formula_25的关系若满足条件（1），则为多值函数。函数都是多值函数，但多值函数不都是函数。formula_24与formula_25的关系若满足条件（2），则为偏函数。函数都是