In mathematics, polymatroid is a polytope associated with a submodular function. The notion was introduced by Jack Edmonds in 1970.
Consider any submodular set function on . Then define two associated polyhedra.
Here is called the polymatroid and is called the extended polymatroid associated with .