真包含關係

真包含關係是如果所有B類的分子都是A類的分子，並且有A類分子不是B類分子，那么，反映這兩個類的概念A與B間有真包含關係，或者說，A真包含B。可用符號表示為：BCA。如所有的“脊椎動物”都是“動物”，而有“動物”不是“脊椎動物”，這樣，“動物”與“脊椎動物”間有真包含關係，或者說，“動物”真包含“脊椎動物”。

真包含關係與真包含於關係是相對的，如果A真包含B，則B真包含於A。真包含關係僅僅指類和子類間的關係，而不包括類和分子間的關係。真包含關係和包含關係不同．後者不排除A=B的可能性，而前者則排除A=B的可能性。