 Any set of vectors that spans "V" can be reduced to a basis for "V" by discarding vectors if necessary (i.e.if there are linearly dependent vectors in the set).If the axiom of choice holds, this is true without the assumption that "V" has finite dimension.