Invertibility of functional Galois connections

We consider equations of the form Bf = g, where B is a Galois connection between lattices of functions. This includes the case where B is the Fenchel transform, or more generally a Moreau conjugacy. We characterize the existence and uniqueness of a solution f in terms of generalized subdifferentials, which extends K. Zimmermann's covering theorem for max-plus linear equations.