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

実ベクトル空間の部分ベクトル空間の定義をリフォーム。