Conjugaison par tranches (Q1067593)

We are interested here in extended real-valued functions whose level sets are closed with respect to a given closure operator. This class of functions is closed under pointwise suprema so that a regularization can be defined. By using the notion of polarity we decompose the closure operator and introduce a (bi) conjugation for the real extended valued functions f such that the biconjugate of f is just the regularized of f. We apply this theory to many forms of quasiconvex dualities and to mathematical programming in the general form.