如果A⊂ B且(),则称集合A是B的真子集