Аксиоматика Вейля
...называемое операцией скалярного умножения векторов , при этом любым двум векторам и однозначно сопоставляется число , называемое скалярным произведением двух векторов , так что выполняются аксиомы:: Скалярное произведение векторов коммутативно.