We analyze existing definitions of carbon leakage and propose a new rigorous one. This is then tested using computable general equilibrium analysis for unilateral carbon dioxide abatement programs in the European Union in 2020, adopted under the United Nations Framework Convention on Climate...