包含关系分为子集，真子集，空集。

例如：A含于B，表示集合A包含于集合B内，或者A是B的子集，也就是说对A中任意一个元素a，则a必定在B中；

集合B真包含集合A，表示集合B中有一部分元素在集合A中没有，也就是说对A中任意一个元素a，则a必定在B中，且B中存在一个元素，使得不在A中。