math.la.d.vsp.vector.negative
Definition of a (real) vector space; properties of the zero vector and the additive inverse in relation to scalar multiplication