如果集合A是集合B的真子集,则集合A的元素个数一定少于集合B的元素个数