非空子集数目