Endliche Additivität