順序対
ウィーナーが初めて順序対の集合論的定義:
( a , b ) := { { { a } , ∅ } , { { b } } } {\displaystyle (a,b):=\{\{\{a\},\,\emptyset \},\,\{\{b\}\}\}}
を提唱したのは1914年のことである。ウィーナーはこの定義によって『プリンキピア・マテマティカ』における型が集合として定義できるようになることを注意している。『プリンキピア・マテマティカ』では型、したがって任意のアリティを持つ関係の全体を原始概念として採用するものであった。