Lang-Algebra p.148
Let $R$ be a PID. Let $M$ be a finitely generated Torsion-free $R$-module. Let $\{v_1,...,v_n\}$ be a maximal set of elements of $M$ among a given finite set of generators $\{y_1,...,y_m\}$ such that $\{v_1,...,v_n\}$ is linearly independent.
I don't get the bolded sentence. What does it exactly mean? Since $M$ is finitely generated, there exists a finite subset $S\subset M$ such that $M=\langle S \rangle$. Does $\{v_1,...,v_n\}$ denote the maximal linearly independent subset of $S$?