This describes exactly what the submodule generated by a subset looks like. It consists of all finite linear combinations of elements of the subset, including the zero element when no terms are chosen. In particular, the submodule generated by the empty set is the zero submodule.