第3章集合 定义3.1.2设A,B是集合，如果AcB且BcA,则称A 与B相等。记为A=B。如果A与B不相等，记为A≠B。 集合相等也可用谓词公式表示为： A=B台AcB∧BCA →(x)(x∈A→x∈B)∧（付x)(x∈B→x∈A) →(Vx)x∈A←→x∈B) 例如：设A=1,2,B=1,2},C=2,1}则 A=C,A≠B 由集合相等的定义可以看出，集合相等有下列性质： ①自反性：即对任意集合A,A=A。 ②对称性：即对任意集合A、B,当A=B时，B=A。 ③传递性：即对任意集合A、B、C,当A=B和B=C时， A=C。第3章 集合 定义3.1.2 设A，B是集合，如果AB且BA，则称A 与B相等。记为A=B。如果A与B不相等，记为A≠B。 集合相等也可用谓词公式表示为： A=BAB∧BA (x)(xA→xB)∧(x)(xB→xA) (x)(xA↔xB) 例如：设 A=1,2，B=1, 2，C=2,1 则 A=C，A≠B 由集合相等的定义可以看出，集合相等有下列性质： ①自反性: 即对任意集合A，A=A。 ②对称性: 即对任意集合A、B，当A=B时，B=A。 ③传递性: 即对任意集合A、B、C，当A=B和B=C时， A=C