Processing math: 100%
ThmDex – An index of mathematical definitions, results, and conjectures.
Binary subadditivity of probability measure
Formulation 0
Let P=(Ω,F,P) be a D1159: Probability space such that
(i) E,FF are each an D1716: Event in P
Then P(EF)P(E)+P(F)
Proofs
Proof 0
Let P=(Ω,F,P) be a D1159: Probability space such that
(i) E,FF are each an D1716: Event in P
This result is a particular case of R4738: Finite subadditivity of probability measure.