Vector space/Characterizations of basis/Maximal/Minimal/Infinite-dimensional/Exercise

Formulate and prove fact for an arbitrary (not necessarily finite) family of vectors , .