Let be a matrix and
Let such that
The Support of is:

we say is a basic solution if the columns of are Linearly Independent
where is a submatrix of ,
built by taking -th column of iff

Note that by definition we have .

Proposition

Every Basic Solution has a Basis (or multiple) associated with it.