Category:Finitely Additive Functions