# Implied equality

Implied equality. An inequality constraint, say $LaTeX: g(x) \le 0$, such that $LaTeX: g(x)=0$ for all feasible $LaTeX: x$.