実ベクトル空間の部分ベクトル空間

実ベクトル空間の部分ベクトル空間の定義。メンテナンス完了。