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