若A是B的真子集（即A⊆B且A≠B），且A≠∅，则称A是B的非空真子集。若A中有n个元素，则A有2^n个子集，（2^n-1）个真子集，（2^n-2）个非空真子集。