Vector space/Characterizations of basis/Maximal/Minimal/Fact