Subspace

A subspace \(U=(F_U, V_U)\) of a Vector space \(W=(F_W, V_W)\) is a vector space where \(F_U = F_W\) and \(V_U\) is a subgroup of \(V_W,\) and \(V_U\) is closed under scalar multiplication.