Fundamental theorems of welfare economics

There are two fundamental theorems of welfare economics.

The First Theorem states that a market will tend toward a competitive equilibrium that is weakly pareto optimal when the market maintains the following three attributes:

1. complete markets - No transaction costs and because of this each actor also has perfect information, and