ThmDex – An index of mathematical definitions, results, and conjectures.
Definitions
,
Results
,
Conjectures
Proof P3316 on
R4841: Finite disjoint additivity of probability measure
P3316
This result is a particular case of
R976: Finite disjoint additivity of unsigned basic measure
. $\square$