VECTOR SPACE

Definition An object is a <VECTOR SPACE> if and only if: it is an <ALGEBRAIC MODULE>; the scalars are an <ALGEBRAIC FIELD>. The principal set of a <VECTOR SPACE> is called 'the vectors'