タグ: 部分ベクトル空間