Dentro do contexto de equilíbrio geral com trocas puras, supondo que as curvas de indiferença dos consumidores são bemcomportadas, o segundo teorema do bem-estar social estabelece que:
os pontos eficientes de Pareto em uma caixa de Edgeworth se encontram na curva de contrato, que indicam também os pontos com equidade distributiva;
todo equilíbrio Walrasiano é eficiente no sentido de Pareto, mesmo que possa não apresentar outras propriedades socialmente desejáveis;
o valor do excesso de demanda agregada é identicamente igual a zero somente quando os preços considerados são preços de equilíbrio competitivo;
para toda alocação eficiente de Pareto existem um vetor de preços e um vetor de dotações iniciais tal que essa alocação também é um equilíbrio competitivo;
o valor de todas as quantidades demandadas deve ser igual ao valor de todas as dotações iniciais, de modo que com n mercados, basta a verificação de equilíbrio em n-1 mercados.