for V being Z_Module
for W being Submodule of V
for A being Subset of V st A c= the carrier of W holds
Lin A is Submodule of W