Definition:Ordered Basis

Let $$G$$ be a free unitary $R$-module.

An ordered basis of $$G$$ is a sequence $$\left \langle {a_n} \right \rangle$$ of elements of $$G$$ such that $$\left\{{a_1, \ldots, a_n}\right\}$$ is a basis of $$G$$.