Linear extension (linear algebra)