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