Let VVV be a vector space. A subset W⊆VW \subseteq VW⊆V is a vector subspace if for all α∈F\alpha \in Fα∈F the ground field and u,v∈Wu,v \in Wu,v∈W, αv∈W\alpha v \in Wαv∈W and u+v∈Wu+v \in Wu+v∈W.
Wikidata ID: Q728435