Abstract We consider what we term existence-constrained semi-infinite programs. They contain a finite number of (upper-level) variables, regular objective, and existence constraints. These constraints assert that for all (medial-level) variable values from set infinite cardinality, there must exist (lower-level) second satisfy an inequality. Existence-constrained programs are generalization pro...