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.