A finite-dimensional vector space, with multiplication defined and distributive over addition, in which (λa)b = λ(ab) = a(λb) for any scalar λ of the associated field and any vectors a and b; also, the branch of algebra which deals with the properties of these entities, especially of vector spaces over the real or complex numbers.