This gives a practical test for when a nonempty subset of a module is a submodule. It says the set is a submodule exactly when it is closed under subtraction and scalar multiplication. This is a standard membership criterion used to verify submodules efficiently.