A submodular function is also a subadditive function

Dependencies:

1. Submodular function
2. Subadditive and superadditive set functions

Let $f: 2^{\Omega} \to \mathbb{R}$ be a submodular function. Then $f$ is also subadditive.

Proof

(Trivially follows from the definition.)

Dependency for: None

Info:

• Depth: 4
• Number of transitive dependencies: 5

Transitive dependencies:

1. /sets-and-relations/countable-set
2. σ-algebra
3. Set function
4. Subadditive and superadditive set functions
5. Submodular function