View source for Subtractive set function

==Definition==
A set function <math>f:E\rightarrow[0,\infty]\subset\mathbb{R}\cup\{-\infty,\infty\}</math> is subtractive<ref>p37 - Halmos - Measure Theory - Graduate Texts in Mathematics - 18</ref> if whenever {{M|A,B\in E}} 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]]

==References==
{{Definition|Measure Theory}}