Discrete convex analysis, which is a unified framework of discrete optimization, is being recognized as a basic tool for mathematical economics. This paper surveys the recent progress in applications of discrete convex analysis to mathematical economics. §1. Introduction Discrete convex analysis, proposed by Murota [25,26], is a unified framework of discrete optimization. Recently, applications of discrete convex analysis to mathematical economics have been investigated. The aim of this paper is to survey the following recent progress on this topic.The concepts of M-convex functions due to Murota [25,26] and M -convex functions due to Murota and Shioura [30], which play central roles in discrete convex analysis, are being recognized as nice discrete convex functions from the point of view of mathematical economics. For instance, for set functions, Fujishige and Yang [15] showed that M -concavity is equivalent to the gross substitutability and the single improvement property which are equivalent to each other for set functions [17] and are nice in the following sense. These properties guarantee the existence of the core of several models, e.g., a matching model proposed by Kelso and Crawford [21]. Relations among these three properties were extended to the general case by Danilov, Koshevoy and Lang [3] and by