子集定义：一般地，对于两个集合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 的子集， 规定：空集是任何集合的子集，是任何非空集合的真子集.