非空真子集是指一个集合中除去所有空元素和该集合本身后，剩下的元素组成的子集。换句话说，非空真子集是一个不为空的子集中去掉所有空子集和该集合本身后剩余的部分。这个概念在数学和计算机科学中都有广泛的应用，例如在图论、组合数学和数据库理论等领域。
具体来说，如果集合A是集合B的子集，并且A不等于B，同时A不是空集，那么A就是B的非空真子集。例如，如果集合B={1,2,3}，那么它的非空真子集包括{1}、{2}、{3}、{1,2}、{1,3}、{2,3}，但不包括空集和整个集合{1,2,3}。
根据集合论中的知识，如果集合B有n个元素，那么它有2^n个子集，其中2^n-1个是真子集，2^n-2个是非空真子集。
总结起来，非空真子集必须满足以下条件：
1. A是B的子集（A⊆B）。
2. A不等于B（A≠B）。
3. A不是空集（A≠∅）。
希望这些解释和例子能帮助你更好地理解非空真子集的概念。