Supermodular Set Function