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

含于号是用来表示一个集合是另一个集合的真子集的记号。如A含于B，表示集合A包含于集合 B内，或A是B的子集的意思。集合B真包含集合A表示集合B中有一部分元素在集合A中没有。

真包含的条件要比包含的条件更苛刻。若集合A等于集合B，可以说集合A包含于集合B，但不能说集合A真包含于集合B。