已知所有 A 都是 B， 有的 B 不是 A， 则 A、 B 两个概念具有（ ）。
概念A与概念B之间有真包含于关系，当且仅当，对于任一对象x，如果x属于A，则x也属于B；并且存在对象y，y属于B但是不属于A，所以可表示为所有A都是B，有的B不是A。