直積集合
群 "G" と群 "H" に対し、その直積集合 "G" × "H" 上に