| http://www.w3.org/ns/prov#value | - int_E f , dmu = int_E f^+ , dmu - int_E f^- , dmu . ,!When the measure space on which the functions are defined is also a locally compact topological space (as is the case with the real numbers R), measures compatible with the topology in a suitable sense (Radon measures, of which the Lebesgue measure is an example) and integral with respect to them can be defined differently, starting from the in
|
