书上说两个集合有包含关系称为A为B的子集 但是又说如果B中有的元素A中没有的话,A又称为B的真子集.子集的定义不就是这样