벡터 공간에서 어떤 벡터의 역원이란, 그 벡터와 더한 것이 항등원과 같아지는 벡터이다.
∀ x , y ∈ V ( inv ( x , y ) ⟺ def x + y = 0 ) {\displaystyle \forall x,y\in V({\text{inv}}(x,y){\overset {\text{def}}{\Longleftrightarrow }}x+y=0)}
