与えられた集合に対して群formula_11が定義できる。