Subtractive set function

Definition

A set function [math]f:E\rightarrow[0,\infty]\subset\mathbb{R}\cup\{-\infty,\infty\}[/math] is subtractive if whenever [ilmath]A,B\in E[/ilmath] we have

[math]A\subseteq B\wedge B-A\in E\wedge |f(B)|<\infty\implies f(B-A)=f(B)-f(A)[/math]

See also

• Monotonic set function