ThmDex – An index of mathematical definitions, results, and conjectures.
Definitions
,
Results
,
Conjectures
Proof P3383 on
R4926: Finite partition additivity of unsigned basic measure
P3383
This result is a particular case of
R3645: Countable partition additivity of unsigned basic measure
. $\square$