>>605
Vのどんな部分集合も　高々　n次元であるとき、次元nの基底は極大線形独立系ですよと言った方が良い
極大線形独立系は基底に対して使う方が理解がしやすいんじゃないかな。