Mathematical tools necessary to the argument are presented and discussed. The focus is on concepts borrowed from the convex analysis and variational analysis literatures. The chapter starts by introducing the notions of a correspondence, upper hemi-continuity, and lower hemi-continuity. Superdifferential and subdifferential correspondences for real-valued functions are then introduced, and their essential properties and their role in characterizing global optima are surveyed. Convex sets are introduced and related to functional concavity (convexity). The relationship between functional concavity (convexity), superdifferentiability (subdifferentiability), and the existence of (one-sided) directional derivatives is examined. The theory of convex conjugates and essential conjugate duality results are discussed. Topics treated include Berge's Maximum Theorem, cyclical monotonicity of superdifferential (subdifferential) correspondences, concave (convex) conjugates and biconjugates, Fenchel's Inequality, the Fenchel-Rockafellar Conjugate Duality Theorem, support functions, superlinear functions, sublinear functions, the theory of infimal convolutions and supremal convolutions, and Fenchel's Duality Theorem.