# Valid inequality

Jump to: navigation, search

An inequality constraint added to a relaxation that is redundant in the original mathematical program. An example is a linear form, $LaTeX: a x \le b,$ used as a cutting plane in the LP relaxation of an integer program. Another is a linear form that is a facet of the integer polyhedron.