有序对
一般性设(a1,b1)和(a2,b2)是两个有序对。则有序对的特征或定义性质为：有序对可以有其他有序对作为投影。所以有序对使得能够递归定义有序n-元组（n项的列表）。例如，有序三元组(a,b,c)可以定义为(a,(b,c))，一个对嵌入了另一个对。这种方法也反映在计算机编程语言中，就是从嵌套的有序对构造元素的列表。例如，列表(12345)变成了(1,(2,(3,(4,(5,{})))))。Lisp编程语言使用这种列表作为基本数据结构。有序对的概念对于定义笛卡尔积和关系是至关重要的。有序对的集合论定义诺伯特·维纳在1914年提议了有序对的第一个集合论定义：他注意到这个定义将允许《数学原理》中所有类型只透过集合便能表达。（在《数学原理》中，所有元数的关系都是原始概念。）标准Kuratowski定义在公理化集合论中，有序对(a,b)通常定义为库拉托夫斯基对：陈述“x是有序对p的第一个元素”可以公...
