When the trading process is characterized by search frictions, traders may be rationed so markets need not clear. We build a general equilibrium model with transferable utility where the uncertainty arising from rationing is incorporated in the definition of a commodity, in the spirit of the Arrow–Debreu theory. Prices of commodities then depend not only on their physical characteristics, but a...