Si on peut ajuster les coefficients de cette combinaison linéaire de façon à obtenir l'inéquation absurde 0 > 0 {\displaystyle 0>0}, c'est que le système était inconsistant.
Ce formalisme est suffisamment général pour englober les problèmes variationnels, les problèmes d'inéquations variationnelles, les problèmes de complémentarité non linéaires et les conditions d'optimalité du premier ordre des problèmes d'optimisation.
