# Redundant constraint

### From Glossary

A constraint whose removal does not change the feasible region. Suppose
is redundant and denotes the feasibility region without this constraint (so implies
). Then, the constraint is *strongly redundant* if
implies
it is *weakly redundant* if it is redundant and for some