非空真子集包括空集。 一个集合的子集是指由该集合的元素组成的集合，而真子集则指将该集合的某些元素排除在外形成的子集。 空集是指不包含任何元素的集合。 根据集合论的定义，任何集合的子集都包括空集。 因此，非空真子集中必然包括空集。