小编Ste*_*vie的帖子

我试图获得一个函数(作为参数给出一个集合)来返回一个集合,其元素是从主集合形成的所有子集.例如:{1; 2; 3} - > {{1},{2},{3},{1,2},{1,3},{2,3},{1,2,3}}

但是我并不完全知道如何创建一个允许我使用一组集合的模块.我应该将它定义为什么类型？