添加子集构造程序