Span and Linear Independence

Span, linear independence, the Linear Dependence Lemma, and the inequality between the length of a linearly independent list and the length of a spanning list.