rmula_12。以下是有序对 ("A","B")的定义：提取这个对中那些不包含0的所有元素，然后再还原formula_14的作用，就得出了"A"。类似的，"B"可以通过提取这个对的包含0的所有元素来复原。有序对的这个定义有个显着的优点。在类型论和从类型论派生出的集合论如新基础中，这个对与它的投影有相同的类型（所以术语叫做“类型齐平”有序对）。因此一个函数（定义为有序对的集合），有只比序对的投影的类型高1的类型。对蒯因集合论中有序对的广泛的讨论请参见Holmes (1998)。Section