VALID INEQUALITY

Valid inequality - An inequality constraint added to a relaxation that is redundant in the original mathematical program. An example is a linear form, ax <= 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 .