Li-Fan Chen says to YSITD A subset of V with n elements is a basis if and only if it is spanning set of V.