空集是空集的子集，空集是指不含任何元素的集合。空集是任何集合的子集，是任何非空集合的真子集。空集不是无；它是内部没有元素的集合。可以将集合想象成一个装有元素的袋子，而空集的袋子是空的，但袋子本身确实是存在的。
子集是一个数学概念：如果集合A的任意一个元素都是集合B的元素，那么集合A称为集合B的子集。如果集合A的任意一个元素都是集合B的元素（任意a∈A则a∈B），那么集合A称为集合B的子集，记为A⊆B或B⊇A，读作集合A包含于集合B或集合B包含集合A。
