展开 任何一个子集必有两个或两个以上的子集