Show that D(x*) ⊂ T(x*).
Clearly, D(x*) ⊂ T(x*), and for some x* A G it may be proper subset. The significance of this is revealed by the following proposition. To adequately determine local optima, it does not suffice to consider only perturbations in D(x*).