This characterizes submodules by closure under finite linear combinations with coefficients from the ring. It packages the usual submodule conditions into a single statement that is often easier to apply. The result is useful when checking that a set is stable under module operations.