子集：

定义：如果集合A的所有元素都是集合B的元素，那么集合A称为集合B的子集。

符号：A⊆B 或 B⊇A。

特殊情况：空集是所有集合的子集，所有集合都是其本身的子集。

真子集：

定义：如果集合A是集合B的子集，并且B中至少有一个元素不属于A，那么集合A称为集合B的真子集。

符号：A⊊B。

特殊情况：空集是任何非空集合的真子集。

总结：

子集：A⊆B 或 B⊇A

真子集：A⊊B