Ekonomi kesejahteraan adalah cabang ilmu ekonomi yang menggunakan teknik mikroekonomi untuk mengevaluasi kesejahteraan (welfare) pada tingkat agregat (economy-wide). Bidang ekonomi kesejahteraan dikaitkan dengan dua teorema fundamental. Yang pertama menyatakan bahwa dengan asumsi tertentu, pasar kompetitif menghasilkan (Pareto) hasil yang efisien; itu menangkap logika tangan tak terlihat Adam Smith.