Linear subspace/Closed/Vector space/Exercise