非空真子集是指一个集合A，它是另一个集合B的子集（A⊆B），并且A不等于B本身，同时A也不是空集（A≠∅）。换句话说，非空真子集包含于另一个集合但不等于它，并且至少包含一个元素。例如，如果集合A={1,2}，集合B={1,2,3}，那么A是B的非空真子集，因为A的所有元素都在B中，但A不包含B的所有元素（B还包含元素3）。
需要注意的是，任何集合都至少有两个子集：空集（∅）和它本身。真子集不包括集合本身，而非空真子集排除了空集和集合本身。所以，如果一个集合有n个元素，那么它有2^n个子集，其中2^n-1个是真子集，2^n-2个是非空真子集