已知所有A都是B，有的B不是A，则A、B两个概念具有（）

已知所有A都是B，有的B不是A，则A、B两个概念具有（）
A.交叉关系
B.全异关系
C.真包含于关系
D.真包含关系
正确答案：C