子集的符号写为∈，真子集的符号写为⫋。

子集：如果***A的任意一个元素都是***B的元素，那么***A称为***B的子集，记为A⊆B或 B⊇A。

真子集：如果***A⊆B，存在元素x∈B，且元素x不属于***A，我们称***A与***B有真包含关系，***A是***B的真子集。