Hello,

The first Fundamental theorem of Welfare Economics is based on two assumptions:

1. In the economy, all commodities are competitive. The equilibrium in the economy is Pareto efficient.
2. There is market for all commodities. Each commodity is produced in the economy and consumption of commodity ads to utility function.

Best Wishes.