"数学的进步及其活力总是依赖于抽象对具体的帮助以及具体对抽象的哺育。"-- M. Kac
函数是一个基本的数学概念。通常的实函数是在实数集合上讨论的。这里推广了实函数概念,讨论在任意集合上的函数。
上一章研究了关系的自反、传递、对称等性质,并针对这些性质研究了一些特殊的关系,如等价关系、偏序关系。这一章研究的各类函数是另外一些具有特殊性质的关系,本章从它们的单值性、定义域和值域的性质来讨论的。

一、函数定义
函数建立了从一个集合到另一个集合的一种变换关系,计算机执行任何类型的程序就是这样一种变换。例如编译程序可以把一个源程序变换成一个机器语言的指令集合----目标程序。
定义11.1.1
定义11.1.2
定义11.1.3