包含關係分為子集,真子集,空集。
例如:A含於B,表示集合A包含於集合B內,或者A是B的子集,也就是説對A中任意一個元素a,則a必定在B中;
集合B真包含集合A,表示集合B中有一部分元素在集合A中沒有,也就是説對A中任意一個元素a,則a必定在B中,且B中存在一個元素,使得不在A中。