Obtaining a new formulation of a problem that is in some sense better, but equivalent to a given formulation. For example, consider the packing constraint: at most 1 element can be selected from {1,...,n} Letting x_j be the associated binary variable, the following formulations have the same feasibility region: x_i + x_j