  This paper provides a novel definition for Lyapunov functions for difference
inclusions defined by convex processes. It is shown that this definition
reflects stability properties of nonstrict convex processes better than
previously used definitions. In addition the paper presents conditions under
which a weak Lyapunov function for a convex process yields a strong Lyapunov
function for the dual of the convex process.
