Proof: Any subspace basis has same number of elements

Một tập hợp con S của một không gian vectơ V được gọi là một gọi là một không gian con nếu như bản thân S cũng là một không gian vectơ với phép cộng vectơ và phép nhân vô hướng được định nghĩa trên V. Một tập hợp con S của một không gian vectơ V là một không gian con nếu và chỉ nếu S đóng dưới phép cộng vectơ và phép nhân với số vô hướng.