子集

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

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

空集的子集是它本身。

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

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