Consumption allocation (source code)

= Consumption allocation
{title2=$f:A\to\mathbb R_+^L$}

In an economy with a <measure space> of consumers, a <consumption allocation> is a <measurable>, <integrable function> assigning each consumer a feasible bundle. Exact aggregate feasibility means $\int_Af\,d\mu=\int_A\omega\,d\mu$.