Размерность пространства -- определение

Как определяется размерность пространства

Линейное пространство $R$ называется $n$-мерным, если в нём существует $n$ линейно независимых векторов и нет большего числа линейно независимых векторов.

Key Words for FKN + antitotal forum (CS VSU):