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