直積集合 (ちょくせきしゅうごう) — direct product | Kumi Dictionary