实数轴上的开区间；在有歧义的场合可使用符号formula_1。
一般性.设("a", "b")和("a", "b")是两个有序对。则有序对的特征或定义性质为：有序对可以有其他有序对作为投影。所以有序对使得能够递归定义有序"n"-元组（"n"项的列表）。例如，有序三元组 ("a,b,c")可以定义为("a", ("b,c"))，一个对嵌入了另一个对。这种方法也反映在计算机编程语言中，就是从嵌套的有序对构造元素的列表。例如，列表 (1 2 3 4 5)变成了(1, (2, (3,