Zustand, bei dem sich kein Individuum besser stellen kann, ohne ein Individuum schlechter zu stellen.

Gegeben sei die Menge aller erreichbaren sozialen Zustände X.

x ε X ist Pareto-effizient/optimal, wenn es keinen anderen Zustand x' ε X gibt, der pareto-superior zu x ist.