Processing math: 100%
ThmDex – An index of mathematical definitions, results, and conjectures.
Inclusion-exclusion principle for unsigned basic measure of binary union
Formulation 0
Let M=(X,F,μ) be a D1158: Measure space.
Let E,FF each be a D1109: Measurable set in M such that
(i) μ(E),μ(F)<
Then μ(EF)=μ(E)+μ(F)μ(EF)
Subresults
R4445: Inclusion-exclusion principle for probability of binary union
Proofs
Proof 0
Let M=(X,F,μ) be a D1158: Measure space.
Let E,FF each be a D1109: Measurable set in M such that
(i) μ(E),μ(F)<
This result is a particular case of R2086: Finite inclusion-exclusion principle for unsigned basic measure.