module Functions.SetFunctions.Terms where

import           Notes

makeDefs
    [ "set function"
    , "submodular"
    ]

makeThms
    [ "Sum of submodular functions is submodular"
    , "Submodularity is closed under nonnegative linear combination"
    , "Submodularity is closed under random processes"
    , "Submodularity is invariant under concave function"
    ]

