真子集：如果集合A是集合B的子集，并且集合B中至少有一个元素不属于A，那么集合A叫做集合B的真子集。如果A包含于B，且A不等于B,就说集合A是集合B的真子集。真子集：如果集合A属于B，存在元素x属于B，且元素x不属于集合A，我们称集合A与集合B有真包含关系，集合A是集合B的真子集。记作A不属于B或B不属于A，读作“A真包含于B或“B真包含A”。性质编辑：根据子集的定义，我们知道A属于A。也就是说，任何一个集合是它本身的子集；对于空集，我们规定空集属于A，即空集是任何集合的子集。
