A point is a * strong local minimum* of if

where is defined as the set of feasible points
contained in the neighborhood of , i.e., within some
arbitrarily small distance of .
For to be a * weak local minimum* only an inequality
need be satisfied