直積
直積(direct product)
→
直積集合
モノイド積