The concept of discrete convexity for a real-valued function defined on a discrete space is an extension of the convexity definition of continuous functions. The equivalence of discrete convexity to the conventional definition of increasing (non-decreasing) first forward differences of functions...