Определение. Базисом системы векторов называется максимальная линейно независимая подсистема данной системы векторов.