300
Wiener's definition
Norbert Wiener proposed the first set theoretical definition of the ordered pair in 1914 [2]:
He observed that this definition made it possible to define the types of Principia Mathematica as sets. Principia Mathematica had taken types, and hence relations of all arities, as primitive.
Wiener used {{b}} instead of {b} to make the definition compatible with Type Theory where all elements in a class must be of the same "type".
what is a method for a ordered pair