Definition:Finitely Additive Function