Axiom (Ordered Pairs) (a,b)=(c,d)→a=c∧b=d Definition (Ordered Pairs(Kazimierz Kuratowski;1921)) (a,b)≌{a},{a,b}} 口得￥43，t， 里0a Jun Ma (majunainju.edu.cn) 1-9 Set Theory (II):Relations 2021年12月02日 4/52. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Axiom (Ordered Pairs) (a, b) = (c, d) ⇐⇒ a = c ∧ b = d Definition (Ordered Pairs (Kazimierz Kuratowski; 1921)) (a, b) , { {a}, {a, b} } Jun Ma (majun@nju.edu.cn) 1-9 Set Theory (II): Relations 2021 年 12 月 02 日 4 / 52