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