无穷小放飞互联网，第一本袖珍电子书
作为无穷小放飞互联网一个样本，这大概是第一本微积分袖珍电子书。请读者注意该袖珍电子书的布尔巴基学派严谨性、一般性的风格。
一元函数的定义：
一元实函数是有序实数偶（a,b）的集合f，对任何一个实数a，必然发生以下两种情形：
1，恰好有一实数b存在，使得有序实数偶（a,b）属于集合f，在此种情况下，我们说，f(a)有定义，且记为f(a)= b，实数b称为函数f在a的值；
2，没有实数b存在，使得有序实数偶（a,b)是集合f的元素，在此情况下，我们说，f(a)没有定义。
据此，表达式f(a) = b意味着有序实数偶（a,b）是函数f的元素。
我们要注意：函数f的定义不涉及什么物理映射定律，也不涉及什么逻辑对应法则，只是有序实数偶集合f的某种属性。该定义出自J. Keisler撰写的《Elementary Calculus》（电子版）的第一章第二节，第6页。英文原文如下：
Definition：
A real function of one variable is a set f of ordered pairs ofreal numbers such that for every real number a one of the following two thingshappens:
1, There is exactly one real number b for which the ordered pair(a,b) is a member of f. In this case, we say that f(a) is defined and we writef(a) = b.The number b is called the value of f at a.
2, There is no real number b for which the ordered pair (a,b) isa member of f. In this case, we say that f(a) is undefined.
Thus f(a) = b means that the ordered pair (a,b) is an element off.
注意：函数f的定义以及其值域都可由此导出。给定函数f，由此建立两个实数（或实变量）之间的对应关系（或对应规律）是很容易的事情，但是，不能将函数f直接定义成什么“对应规律”，把物理含义牵扯进来。
说明：一般而言，微积分袖珍电子书都是短文件（中英文对照）。但是，其中不能说废话，尤其不能说假话，对读者不负责任。我们坚信：当大批微积分袖珍电子书不断推向互联网之后，广大读者一定会喜欢的。
我们放飞袖珍电子书，把菲氏微积分徒子徒孙气糊涂了！
袁萌 10月4日