什么是概念间的真包含关系？

当且仅当凡 b 都是 a ，并且有 a 不是 b ，则概念 A 与概念 B 为真包含关系。换句话说，真包含关系是一个概念的部分外延与另一个概念的全部外延相重合的关系。例如：

以上三对概念，每一对都是真包含关系。拿“虚词”与“助词”这两个概念来说，所有的助词都是虚词，但是有的虚词不是助词，这样，“虚词”对于“助词”的关系，就是真包含关系。

A 、 B 两个概念之间的真包含关系可用右边的欧拉图（图2-2）表示。