for V being Z_Module
for W being Submodule of V
for A being Subset of W st A is linearly-independent holds
A is linearly-independent Subset of V