什么是空真子集

空真子集是任何非空集合的真子集。空集不是空集的真子集，因为真子集要求父集中至少有一个元素不在子集中。不含任何元素的集合。空集是任何集合的子集，是任何非空集合的真子集。