Corollaries from Basis and dimension

For a set $S$ of $n$ vectors in a finite-dimensional vector space $V$, any two of the following imply that $S$ is a basis for $V$:

• $S$ is linearly independent;
• $S$ spans $V$;
• $n=\dim(V)$.