Welfare economics is associated with two main theorems. The first is that competitive markets yield Pareto efficient outcomes. The second is that social welfare can be maximized at an equilibrium with a suitable level of redistribution.