子集ziji
是表示一个集合与另一个集合的一种关系。
设A和B是两个集合,若集合B包含A,或集合A包含于B,即A⊆B或B⊇A,则把集合A叫做集合B的子集,并把集合B叫做集合A的扩张集(或母集),简称扩集.子集A及其扩集B的关系如图所示.

例如,集合A={1,2}是集合B={1,2,3,4,5}的子集;再如,设集合A={a|a为直角三角形},集合B={a|a为三角形},则A就是B的子集,B是A的扩集.
根据子集的定义和包含关系的性质,有:
❶任何一个集合都是它自身的子集,同时也是它自身的扩集;
❷空集Φ是一切集合的子集;
❸设A,B,C是三个集合,若A是B的子集,B又是C的子集,则A也一定是C的子集.
若一个集合A是集合B的且异于B的子集,则称A是B的真子集,B叫做A的真扩集,记作A⊂B或B⊃A.
根据真子集的定义,有:
❶若集合A是集合B的真子集,则A的每一个元素都属于B,但B中至少有一个元素不属于A;
❷空集Φ是任何非空集合的真子集,任何非空集合都是空集Φ的真扩集;
❸任何一个集合A都不是它自身的真子集.
子集Ziji
对于两个集合A和B,如果集合A的任何一个元素都是集合B的元素, A就叫做B的子集。A是B的子集,我们说,A包含于B,或是说,B包含A。记作AB或BA。例如: (1) {全校的学生}
{一个班的学生}; (2){全体偶数}
{全体整数}; (3) {等边三角形}
{等腰三角形}
{三角形} 可用韦恩图表示如下。

任何集合都是它自身的子集, 即A

A。这是因为任何一个集合中的所有元素都属于它自身。数学中还规定: 空集是任何集合的子集。