真被包含关系(真子集)c 1.定义:A、B是集合,如果AcB且AB, 则称B真包含A,A真包含于B,也称A是B 的真子集。记作AcB 谓词定义:AcB<→ AC BAA#B 冷X(x∈A→>X∈B)Vx(X∈A>x∈B) 冷X(x∈A→>X∈B) (VX(x∈A>x∈B)Vx(x∈B→>x∈A) >(Vx(X∈A>x∈B)入-Vx(x∈A→x∈B) (x(x∈A>x∈B)→yx(x∈B->x∈A) VX(X∈A>X∈B)∧丑X(X∈B入xgA)三. 真被包含关系(真子集)  1. 定义：A、B是集合，如果AB且A≠B， 则称B真包含A，A真包含于B，也称A是B 的真子集。记作AB。 谓词定义：ABA BA≠B x(x∈A→x∈B)x(x∈Ax∈B) x(x∈A→x∈B) (x(x∈A→x∈B)x(x∈B→x∈A)) (x(x∈A→x∈B)x(x∈A→x∈B))  (x(x∈A→x∈B) x(x∈B→x∈A))  x(x∈A→x∈B)  x(x∈BxA)