(V3) \( \quad \forall x \in V: 1 \odot x=x \)
(V4) \( \forall \alpha, \beta \in \mathbb{K} \forall x \in V:(\alpha+\beta) \odot x=(\alpha \odot x) \oplus(\beta \odot x) \),
(V5) \( \quad \forall \alpha \in \mathbb{K} \forall x, y \in V: \alpha \odot(x \oplus y)=(\alpha \odot x) \oplus(\alpha \odot y) \).