直積集合
一般に、群の族 {"G""i"}"i" ∈ "I" が与えられると、その直積集合の元 ("g""i"), ("g'""i") に対して、