Vector space/Characterizations of basis/Maximal/Minimal/Infinite-dimensional/Exercise
Formulate and prove fact for an arbitrary (not necessarily finite) family of vectors , .
Formulate and prove fact for an arbitrary (not necessarily finite) family of vectors , .