第一分量对第二分量的关系，如果是一对多的情况，就是二元有序集合。
而函数是一对一的关系，特殊的关系。
定义：f ⊆（A和B的笛卡尔积），所以f(x（每个）)通过随便哪个操作而得的y都存在于笛卡尔积里面。
A为函数f的定义域（Domain），记为domf=A
f(A)为函数f的值域，记为ranf。
B称为函数f的陪域（Codomain）
函数性质：
由于函数是特殊的关系，所以可进行相应的运算，通过对函数的运算可以由已知函数得到新的函数。
定义：考虑f:A->B, g:B->C是两个函数，则
| fg的复合运算g·f={<x,z> | x∈A∧z∈C∧(∃y)(y∈B∧xfy∧ygz)}是从A到C的函数 |
A->B,B->C,有B、C的满射，所以A到C也是满射，笛卡尔积集合内的元素关系不仅仅是单一的，有可能是嵌套的。
函数的逆运算
集合的基数
无穷集合的基数
自然数的无穷和实数的无穷是不是一个无穷
定义：表示集合A中元素多少或度量集合A大小的数，称作集合A的基数（Cardinality）或势（Potential）。