A是B的真子集，子集，为大集合中一部分的集合，故亦称部分集合，对于两个集合A与B，如果集合A的任何一个元素都是集合B的元素，就说集合A包含于集合B，或集合B包含集合A，也说集合A是集合B的子集。

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