Vector space/Linear subspace/Closed/Definition