An application example of convex set separation theorem is Facas Lemma, which is the most important basis of optimality conditions. See Facas's lemma entry.

Using Facas lemma, we can also prove the valuable Gordan theorem and alternative theorem. The famous Kuhn-Tucker condition in Gorden theorem is an important basis to prove the optimality condition.