Basis
A minimal system of generators (one with no redundant elements) is called a basis.
If any vector is removed, the set no longer spans the space / no longer forms a system of generators.
If is a basis of a vector space , then every vector can be expressed uniquely as a linear combintation of the linearly independent basis vectors in .