Пусть
,
,…,
- «
-местные наборы»,
имеет 1 на
-м месте и нули на остальных местах,
. Тогда объекты

образуют векторное пространство с базисными элементами
. Обозначим это пространство
.
Векторное пространство
, позволяет определить размерность всякого векторного пространства
при помощи следующей аксиомы.
9. Аксиома размерности. Существует изоморфизм
.






