非空真子集个数公式：P=2^n-2。若A是B的真子集（即A⊆B且A≠B），且A≠∅，则称A是B的非空真子集。若A中有n个元素，则A有2^n个子集，（2^n-1）个真子集，（2^n-2）个非空真子集。子集是一个数学概念：如果集合A的任意一个元素都是集合B的元素，那么集合A称为集合B的子集。符号语言：若∀a∈A，均有a∈B，则A⊆B。
