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

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

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