Function: noun
Date: 1937
: a set of vectors along with operations of addition and multiplication such that the set is a commutative group under addition, it includes a multiplicative inverse, and multiplication by scalars is both associative and distributive