... Thus, the set P S defined as in (16) with α = P is nonempty and compact To complete the proof of the theorem, it remains to apply Theorem Existence of Solutions to Generalized Bilevel Vector Optimization ... that Existence of Solutions to Generalized Bilevel Vector Optimization Problems f (x∗ , z ∗ ) ∩ γ Min f (αS(D, K, S, T, F, C))/C) = ∅ 293 (1)(α,γ) This is called an (α, γ) bilevel vector optimization ... the set IS is nonempty and compact Therefore, to complete the proof of the theorem, it remains to apply Theorem References H P Benson and T L Morin, The vector maximization problem: proper efficiency...