Se dice que un sistema de ecuaciones lineales está expresado en forma canónica si cada ecuación tiene una, y solamente una, variable con coeficiente +1 en esa ecuación y coeficiente 0 en todas las demás, es decir, cuando esa variable presenta vector unidad en la tabla símplex. Es interesante notar que si se agrupan esas variables de forma apropiada, usando la propiedad conmutativa, sus coeficientes generan una matriz identidad.