Vektorterek, vektortér-axiómák | mateking