直積集合
体 "K" 上の "n"-次元数ベクトル空間は、"K" の "n" 個の直積集合 "K""n" を台集合として、成分ごとの演算