不包含集合本身的子集就叫真子集,比如集合a是｛1,2,3｝,集合b是｛1,2｝,集合c是｛1,2,3〕则集合b是集合a的真子集,而集合c和集合a相同,但集合c不是集合a的真子集．