We analyze existing definitions of carbon leakage and provide a new rigorous one. This is then tested using computable general equilibrium analysis for unilateral carbon dioxide abatement programs in the EU. Our model of the global economy is disaggregated into three regions. The analysis...