谓词定义: A=B<→AcB∧BcA 冷x(x∈A→>X∈B)x(X∈B→>X∈A) 冷X(Xx∈A→>X∈B)∧(X∈B→>x∈A) 冷Vx(x∈A>x∈B) 2.性质 (1)有自反性,对任何集合A,有A=A (2)有传递性,对任何集合A、B、C,如果 有A=B且B=C,则A=C (3)有对称性,对任何集合A、B,如果有 A=B,则B=A。谓词定义： A=BABBA x(x∈A→x∈B)x(x∈B→x∈A) x((x∈A→x∈B)(x∈B→x∈A)) x(x∈Ax∈B) 2. 性质 ⑴有自反性，对任何集合A，有A=A。 ⑵有传递性，对任何集合A、B、C，如果 有A=B且 B=C ，则A=C。 ⑶有对称性，对任何集合A、B，如果有 A=B，则B=A