如果集合 A是 集合 B的 子集，并且集合 B不是集合 A的子集，那么集合 A叫做集合 B的 真子集（proper subset）。如果A包含于B,且A不等于B,就说集合A是集合B的真子集。