空集可以有子集,唯一子集就是其本身；某集合的子集可以不含该集合的所有元素,后者便是前者的真子集；A包含于B,A便是B的子集A,可能有B中所有元素,可能有B中部分元素,A也可能为空集.