Let and , the base field for the vector spaces. It means by definition that . Since is a subspace it means . Therefore, since is a linear transformation it means which means . Thus, is closed under vector addition. Likewise, which means . Thus, is closed under scalar multiplications. All the other properties for being a vector space are satisfied because . Thus, is a vector space over .