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