若A是B的真子集(即A⊆B且A≠B),且A≠∅,则称A是B的非空真子集。若A中有n个元素,则A有2^n个子集,(2^n-1)个真子集,(2^n-2)个非空真子集。
本词条最后更新于 2026-06-30 11:16:46