Un conjunto de demanda es un modelo del conjunto de bienes más preferido que un agente puede permitirse. El conjunto es una función de la relación de preferencia por este agente, los precios de los bienes y la dotación del agente.
Suponiendo que el agente no puede tener una cantidad negativa de ningún bien, el conjunto de demanda se puede caracterizar de esta manera:
Se define como la cantidad de bienes que el agente podría recibir como asignación . Una asignación al agente es un elemento del espacio ; es decir, el espacio de vectores reales no negativos de dimensión .
Se define como una relación de preferencia débil sobre bienes; es decir, establece que el vector de asignación es débilmente preferido a .
Sea un vector que represente las cantidades de la dotación del agente de cada bien posible, y un vector de precios para esos bienes. Sea el conjunto de demanda. Entonces:
.