Let $R$ be a ring. An $R$-module $M$ is free over a subset $S\subseteq M$ if $S$ is linearly independent and generates $M$. We say that $S$ forms a basis for $M$.
Wikidata ID: Q1292333