非空真子集
非空真子集即A是B的真子集，但A不是空集，则称A是B的非空真子集。若B中有n个元素，则B有子集2^n个，非空真子集（2^n）-2个。
集合的概念集合是数学中的一个基本概念，我们先说明下，例如，一个书柜中的书构成一个集合，一间教室里的学生构成一个集合，全体实数构成一个集合。一般的，所谓集合（简称“集”）是指具有某种特定性质的事物的总体，组成这个集合的事物称为该集合的元素（简称”元“）。通常用大写字母表示集合，小写字母表示元素。比如a∈A，即元素a属于集合A。
集合之间的关系设A，B是两个集合，若集合A的元素都是集合B的元素，则称A是B的子集，记作A∝B（读作A包含于B）；
若集合A,B互为子集，则A=B；
若A是B的子集，但A≠B，则称A是B的真子集。
空集不含任何元素的集合称为空集，空集是任何集合的子集。