 Basis of a module

A basis $S$ of an $R$-module $M$ is a subset such that every element of $M$ has a unique expression as a finite $R$-linear combination of elements of $S$.