非空真子集是指集合的真子集（即不等于原集合的子集）且非空的集合。 根据这个定义，非空真子集是不包含空集的。 因为如果一个集合的真子集为空集，那么它就不能被称为真子集，只能被称为整个集合本身。 所以可以明确地说，非空真子集没有空集。