有序对( Ordered pair) (a,b)是集合{a},{a,b}的简写 ●次序的体现 (xy)=(ly)ifx=且y=v 若{x},{xy}={l},txy},则{x}={l}或{x}={ly},因此x=l 假设y≠ (1)若xy左边={{x},而wx:右边共{x}; (2)若x,则必有{xy}={u,v},但y既非n,又非,矛盾。有序对（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。 假设yv (1) 若x=y, 左边={{x}}, 而vx,右边{{x}}; (2) 若xy,则必有{x,y}= {u,v}, 但y既非u,又非v, 矛盾