Formally, a strong Pareto improvement is defined as a situation in which all agents are strictly better-off (in contrast to just "Pareto improvement", which requires that one agent is strictly better-off and the other agents are at least as good). A situation is weak Pareto-efficient if it has no strong Pareto improvements.
