子集是集合论中的一个基本概念，它指的是从一个集合中选取部分或全部元素组成的新集合。具体来说，如果集合A的每一个元素都是集合B的元素，那么集合A称为集合B的子集。数学上，这个关系用符号表示为 `A⊆B`，读作“A包含于B”。需要注意的是，空集是任何集合的子集，也是任何非空集合的真子集。

子集可以分为以下几种类型：

真子集：如果集合A是集合B的子集，并且B中至少有一个元素不属于A，则A是B的真子集。

相等子集：如果集合A和集合B包含完全相同的元素，则A和B是相等的，记作 `A=B`。

空子集：由空集构成的子集称为空子集。

子集的概念在数学的许多分支中都有应用，包括逻辑、分析、代数和几何等