Definition:Basis of Vector Space/Definition 2

Definition
Let $R$ be a division ring.

Let $\struct {G, +_G, \circ}_R$ be an vector space over $R$.

A basis is a maximal linearly independent subset of $G$.

Also see

 * Equivalence of Definitions of Basis of Vector Space