子集是一个数学概念，如果***A的任意一个元素都是***B的元素（任意a∈A则a∈B），那么***A称为***B的子集

对于两个非空***A与B，如果***A的任何一个元素都是***B的元素，我们就说A⊆B(读作A包含于B)，或B⊇A(读作B包含A)，称***A是***B的子集。

子集

规定:空集是任何***的子集,是任何非空***的真子集.

空集的子集是它本身。

如果A⊆B，而***B中至少有一个元素不属于***A，则称***A是***B的真子集。 任何一个***是它本身的子集.

***的包含关系和实数的大小关系有相似之处,记号⊆ 和≦有相似之处,开口指向"较大的一边"。