Linear independence

• How to Pare Down a Set to Form a Basis
  To pare down a finite spanning set, row-reduce its column matrix and keep the original vectors in the pivot-column positions.