-元组的函数。或者说，若一函数的输入值域为"n"个集合的笛卡尔积的子集，这函数就是"n"-元函数。例如，距离函数"dist"((x,y))是一个二元函数，输入值是由两个点组成的序对。另外，多复变函数（即输入值为复数的多元组）是一个重要的数学课题。在抽象代数中，运算元其实都是函数，如乘法"*"是个二元函数：当我们写"x"*"y"时，其实是用上了*("x","y")的中缀表示法。函数式程序设计是一个以函数概念为中心的重要理论范式，其中的运算对象为多元函数，基本语法基于λ演算，而函数的复合则采用代换来完成