A General Theory of Additive State Space Abstractions