The economics literature is replete with examples of monotone comparative statics; that is, scenarios where optimal decisions or equilibria in a parameterized collection of models vary monotonically with the parameter. Most of these examples are manifestations of complementarity, with a common explicit or implicit theoretical basis in properties of a super-modular function on a lattice. Supermodular functions yield a characterization for complementarity and extend the notion of complementarity to a general setting that is a natural mathematical context for studying complementarity and monotone comparative statics. Concepts and results related to supermodularity and monotone comparative statics constitute a new and important formal step in the long line of economics literature on complementarity.