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