1. We can assume without loss of generality that .
    • If , the problem is either
      • Infeasible ( has no solution)
      • Trivial ( has one solution, for instance )
      • Can be transformed to an equivalent problem with
  2. They don’t always have a solution
    • This can be either due to
      • Infeasibility, has no solutions (the feasible set is empty)
      • Unboundedness (There exists a sequence ).