在集合中,元素个数与子集的关系,如何推导