A vector is a basic feasible point if
- is Feasible
- There exists a subset of the index set such that
- contains exactly indices
- (that is, the bound can be inactive only if ).
- the matrix is defined by , and is nonsingular, and is the ‘th column of .
is called a basis for the LP, and the indices not in are called .