# Conjugate function

### From Glossary

The *convex conjugate* of on ,
denoted on , is the
greatest convex approximation from below:

and , i.e. is the effective domain of
). The *concave conjugate* of on ,
denoted on , is
the least concave approximation from above:

and . This is a foundation for Lagrangian duality, viewed in response space.