Measures are monotonic and subtractive