KSubsetGroup[pg,s]

の 個の部分集合の集合 s についての置換群 pg により導出された群を返す． は pg の指数である．オプショナルの引数Typeは，Typesの値が， 個の部分集合集合と 個のタプルの集合のどちらとして扱われるかにより，OrderedかUnorderedのどちらかを取る．