真子集包括空集。空集也可以称作虚集，是一个没有元素的集合。它不像其他集合，例如有n个元素的集合，因为它没有元素，自然也就不包含任何元素了。它是集合最小的成员，也是真子集的成员。拓展上来说，当一个集合里面包含空集时，这个集合就称作非空集，它有至少一个元素，也就是空集。