子集就是一个集合中的元素全部都是另一个集合中的元素,有可能与另一个集合相等
真子集就是一个集合中的元素全部是另一个集合中的元素,但不存在相等
非空子集就是除空集外的子集
非空真子集就是除空集外的真子集