theorem of alternatives
For two systems of inequality and equality constraints.
weak alternatives: if no more than one system is feasible strong alternatives if exactly on of them is feasible The theorem of alternatives says two inequalities are either weak or strong alteratives.
x > a, x < a - 1 are weak alteratives, x > a, x <a are strong alteratives