列表。例如，列表 (1 2 3 4 5)变成了(1, (2, (3, (4, (5, {} )))))。Lisp编程语言使用这种列表作为基本数据结构。有序对的概念对于定义笛卡尔积和关系是至关重要的。
有序对的集合论定义.诺伯特·维纳在1914年提议了有序对的第一个集合论定义：他注意到这个定义将允许《数学原理》中所有类型只透过集合便能表达。（在《数学原理》中，所有元数的关系都是原始概念。）
标准Kuratowski定义.在公理化集合论中，有序对("a"