eine Bedingung an zwei Vektoren y, v ∈ ℝⁿ.

y und v erfüllen die Komplementaritätsbedingung, wenn (komponentenweise) y, v ≥ 0 gilt, und wenn sie senkrecht aufeinander stehen. Aus y^T · v = 0 folgt dann wegen der Nichtnegativität, daß für jedes 1 ≤ i ≤ n mindestens eine der beiden Komponenten y_i oder v_i verschwindet.

Komplementaritätsbedingungen treten häufig bei notwendigen Optimalitätsbedingungen auf, zum Beispiel bei der Karush-Kuhn-Tucker-Bedingung.