Proposition
(MinkowskiWeyl theorem). A cone is
polyhedral if and only if it is finitely generated.
Definition
A set
is a polyhedral set if it is nonempty and has the
form
Definition
A function
is polyhedral if
is polyhedral.
The following proposition is a direct consequence of the definition.
