The purpose of this paper is twofold. The first is to obtain a nice characterization of production possibility sets generalizing the well-known nonsubstitution theorem. The second is to obtain a relationship between indispensability of nonproducible commodities and desirable properties of production possibility sets.