子集，是对于两个集合A与B，如果集合A的任何一个元素都是集合B的元素，就说集合A包含于集合B，或集合B包含集合A，也说集合A是集合B的子集。
如B包含A，说明A是B的子集；或如A包含于B，也说明A是B的子集。
如果集合A的任何一个元素都是集合B的元素，而集合B中至少有一个元素不属于集合A，则称集合A是集合B的真子集。空集是任何集合的子集。任何一个集合是它本身的子集。空集是任何非空集合的真子集。
子集是一个数学概念：如果集合A的任意一个元素都是集合B的元素，那么集合A称为集合B的子集。
符号语言：若∀a∈A，均有a∈B，则A⊆B。
