Definition (Ordered Pairs(Norbert Wiener;1914)) (a,b){{a,0,{Hb} p内 F 4口，1①，43，t夏，30Q0 Jun iE jtmomjtedn.cn 1-9 Set Theory (II):Relations 2021 1202 6/52. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Definition (Ordered Pairs (Norbert Wiener; 1914)) (a, b) , {{ {a}, ∅ } , { {b} }} Theorem (a, b) = (c, d) ⇐⇒ a = c ∧ b = d Jun Ma (majun@nju.edu.cn) 1-9 Set Theory (II): Relations 2021 年 12 月 02 日 6 / 52