真包含於關係

真包含於關係是如果所有A類分子都是B類分子，並且有B類分子不是A類分子，那么，反映這兩個類的概念A與B有真包含於關係，或者說，A真包含於B。可用符號表示為：ACB。

如所有的“脊椎動物”是“動物”，而有“動物”不是“脊椎動物”，這樣，“脊椎動物”與“動物”有真包含於關係，或者說，“脊椎動物”真包含於“動物”。真包含關係和真包含於關係是相對的。如果B真包含A，則A真包含於B。真包含於關係僅僅指子類和類間的關係，而不包括分子和類間的關係。真包含關係不同於包含關係，當ACB但A≠B時，才說A真包含於B(ACB)。