Basic Closure Properties of Submodular Functions