#נייטרלי לחיבור: <math>\exists 0_V\in V\forall v\in V:0_V+v=v</math>
#נגדיים: <math>\forall v\in V\exists (-v)\in V: v+(-v)=0_V</math>
#נייטרלי לכפל בסקלר: <math>\forall v\in V: 1_\mathbb{DF}\cdot v = v</math>
#דיסטריביוטיביות (פילוג): <math>\forall u,w\in V\forall \alpha\in\mathbb{F}: (\alpha+\beta)u = \alpha u+\beta u \and \alpha(u+w)=\alpha u +\alpha w</math>