This dissertation is devoted to the study of sup-type function on non-compact set and the first-order optimality conditions for generalized semi-infinite programming with inequality constraints.