Пусть , ,…, - « -местные наборы», имеет 1 на -м месте и нули на остальных местах, . Тогда объекты
образуют векторное пространство с базисными элементами . Обозначим это пространство .
Векторное пространство , позволяет определить размерность всякого векторного пространства при помощи следующей аксиомы.
9. Аксиома размерности. Существует изоморфизм .