真包含关系

真包含关系是如果所有B类的分子都是A类的分子，并且有A类分子不是B类分子，那么，反映这两个类的概念A与B间有真包含关系，或者说，A真包含B。可用符号表示为：BCA。如所有的“脊椎动物”都是“动物”，而有“动物”不是“脊椎动物”，这样，“动物”与“脊椎动物”间有真包含关系，或者说，“动物”真包含“脊椎动物”。真包含关系与真包含于关系是相对的，如果A真包含B，则B真包含于A。真包含关系仅仅指类和子类间的关系，而不包括类和分子间的关系。真包含关系和包含关系不同．后者不排除A=B的可能性，而前者则排除A=B的可能性。