一个功能 #f：X 到Y# 当你有两套时，会给出一个法则，告诉你如何关联一个，只有一个项目 #y in Y# 每一个 #x in X#.
最简单的情况由数字函数表示，这意味着您将实数与每个实数相关联。是的， #的x ^ 2 + 5# 是一个功能，因为 一切 实数你可以计算它的平方，然后加五。这正是我之前提到的“法律”告诉你要做的事情：写作 #F（X）= X ^ 2 + 5# （或者也经常 #Y = X ^ 2 + 5#）意思是“取一个数字 #X#，将它自己乘以，得到 #x的^ 2#，然后添加 #5# 结果，获得 #的x ^ 2 + 5#.
