Indivisible commodities and the nonemptiness of the weak core

We consider a sufficient condition for the nonemptiness of the weak core in a finite exchange economy where every commodity is available only in integer quantities. We show that if the aggregate upper contour set is discretely convex, then the weak core is nonempty. In addition, we give two sufficient conditions for the aggregate upper contour set to be discretely convex. One is that every upper contour set of every agent is M♮-convex. The other is that the number of commodities is two and every agent's preference relation is weakly monotone and discretely convex.