非空真子集是指 一个集合中除去所有空元素后，剩下的元素组成的子集，且这个子集不等于原集合本身。具体来说，如果集合A是集合B的子集，并且A不是空集，同时A也不等于B，那么A就是B的非空真子集。
例如，假设有一个集合{1,2,3}，它的非空真子集包括{1}、{2}、{3}、{1,2}、{1,3}、{2,3}，但不包括空集和整个集合{1,2,3}。
从数学的角度来看，如果集合A有n个元素，那么它总共有2^n个子集，其中包括1个空集和本身，因此非空真子集的个数是2^n - 2。
非空真子集在数学和计算机科学中有广泛的应用，例如在图论、组合数学和数据库理论等领域。