We show that monetary trading is simple, self-enforcing, symmetric, and irreducible in a natural framework. Furthermore, we will show that the utility for each economic agent is at least as big under the monetary system as under any other simple, self-enforcing, symmetric, and irreducible trading system of the same complexity. Thus, we rationalize the monetary nature of real-world trade as being an efficient way to achieve those properties.