\overrightarrow{v} \in V \;\exists \;
-\overrightarrow{v} \in V