直積集合
同様に、有限個の群 "G"1, "G"2, ..., "G""n" が与えられたとき、その直積集合の元