展开 任意是存在的子集解