 Pairing. The Kuratowski ordered pair   ⟨a,b⟩   of two sets a and   b is {{a}, {a,b}}. [6] The standard presentation of set theory defines and studies relations, functions, and the like in terms of this pairing operation. All  mathematical facts  about these notions can then be proved in set theory. 