Submodular set function