如果A是B的子集,并且B中至少有一个元素不属于A,那么集合A叫做集合B的真子集.
子集定义：一般地,对于两个集合A,B,如果集合A中任意一个元素都是集合B中的元素,我们就说这两个集合有包含关系,称集合A为集合B的子集（subset）. 记作： A⊆B（或B⊇A） 读作：“A含于B”（“B包含A”） 而真子集是对于子集来说的 ★真子集定义：如果集合A⊆B,但存在元素X∈B,且元素X不属于集合A,我们称集合A是集合B的真子集. 也就是说如果集合A的所有元素同时都是集合 B 的元素,则称 A 是 B 的子集, 若 B 中有一个元素,而A 中没有,且A 是 B 的子集,则称 A 是 B 的真子集, 相关图片
注 1 空集是所有集合的子集 2 所有集合都是其本身的子集 3 空集是任何非空集合的真子集
