到底什么是真子集（真子集是不是就是非空子集）

真子集是对于子集来说的

真子集定义：如果集合A⊆B，但存在元素x∈B，且元素x不属于集合A，我们称集合A是集合B的真子集。 

也就是说如果集合A的所有元素同时都是集合 B 的元素，则称 A 是 B 的子集，

若 B 中有一个元素，而A 中没有，且A 是 B 的子集，则称 A 是 B 的真子集，

注：①空集是所有集合的子集；

②所有集合都是其本身的子集； 

③空集是任何非空集合的真子集 

例如：所有亚洲国家的集合是地球上所有国家的集合的真子集． 

所有的自然数的集合是所有整数的集合的真子集．

其是数学术语，具体如下：

如果集合A⊆B，存在元素x∈B，且元素x不属于集合A，我们称集合A与集合B有真包含关系，集合A是集合B的真子集（proper subset）。记作A⫋B（或B⫌A），读作“A真包含于B”（或“B真包含A”）。