我粤 有序对(Ordered pair) ●(ab)是集合{a},{a,b}}的简写 ·次序的体现 ●(x,y)=(u,)ifx=w且=v 若{x},{x,y}={u},{w,},则{x}={u}或{x}={u,v以,因此x=u。 假设yy (1)若x=y,左边={x},而V≠X,.右边≠{x)}; (2)若xy,则必有{x,y}={u,v以,但y既非u,又非v,矛盾。有序对(Ordered pair) (a, b)是集合{{a}, {a, b}}的简写 次序的体现 (x,y)=(u,v) iff x=u 且 y=v 若{{x},{x,y}}={{u},{u,v}},则{x}={u}或{x}= {u,v}, 因此x=u。 假设yv (1) 若x=y, 左边={{x}}, 而vx,右边{{x}}; (2) 若xy,则必有{x,y}= {u,v}, 但y既非u,又非v, 矛盾