===Product===:formula_25:formula_26===Sum===:formula_27::This implies formula_28, which means that formula_29 is a convex cone.
בצורה פורמלית, אומרים ש-formula_6 היא formula_25 אם לכל קבוע formula_26 קיים formula_27 כך שלכל formula_9 מתקיים formula_29.