对是两个对象的搜集，使得可以区分出其中一个是“第一个元素”而另一个是“第二个元素”（第一个元素和第二个元素也叫做左投影和右投影）。带有第一个元素"a"和第二个元素"b"的有序对通常写为("a", "b")。符号("a", "b")也表示在实数轴上的开区间；在有歧义的场合可使用符号formula_1。
一般性.设("a", "b")和("a", "b")是两个有序对。则有序对的特征或定义性质为：有序对可以有其他有序对作为投影。所以有序对使得能够递归定义有序"n"-元组（"n"