真包含关系是如果所有B类的分子都是A类的分子，并且有A类分子不是B类分子，那么，反映这两个类的概念A与B间有真包含关系，或者说，A真包含B。可用符号表示为：BCA。如所有的“脊椎动物”都是“动物”，而有“动物”不是“脊椎动物”，这样，“动物”与“脊椎动物”间有真包含关系，或者说，“动物”真包含“脊椎动物”。