Vector space/Linear subspace/Dimensions/Compare/Fact