Globally proper efficiency of set optimization problems based on the certainly set less order relation

In this paper, we investigate the globally proper efficiency of set optimization problems. Firstly, we use the so-called certainly set less order relation to define a new kind of set order relation. Based on the new set order relation, we introduce the notion of the globally proper efficient solution of the set optimization problem. Secondly, we establish Lagrange multiplier rule of the set optimization problem. Finally, we obtain Lagrangian duality theorems and saddle point theorems. We also give some examples to illustrate our results.