包含和真包含,个人认为从逻辑上包含关系更简单自然一些.
试看：
B中的元素都属于A,则称A包含B.
B中的元素都属于A且A中至少有一个元素不属于B,则称A真包含B.