对的集合论定义.诺伯特·维纳在1914年提议了有序对的第一个集合论定义：他注意到这个定义将允许《数学原理》中所有类型只透过集合便能表达。（在《数学原理》中，所有元数的关系都是原始概念。）
标准Kuratowski定义.在公理化集合论中，有序对("a","b")通常定义为库拉托夫斯基对：陈述“"x"是有序对"p"的第一个元素”可以公式化为而陈述“"x"是"p"的第二个元素”为注意这个定义对于有序对"p" = ("x","x") = { {"x"}, {"x","x"} }