The first fundamental welfare theorem provides some basis for the belief in efficiency of market economies, as it states that any perfectly competitive market equilibrium is Pareto efficient. The assumption of perfect competition means that this result is only valid in the absence of market imperfections,