en:math:linear_alg:vector_spaces:start