A是B的子集 则A是B的充分条件 为什么不是充要 子集里面不是包含了等于吗