Processing math: 100%
ThmDex – An index of mathematical definitions, results, and conjectures.
Definitions
,
Results
,
Conjectures
Formulation F562 on
D3774: Complete probability measure
F562
Formulation 0
A
D198: Probability measure
P
:
F
→
[
0
,
1
]
is
complete
if and only if
∀
F
∈
F
(
P
(
F
)
=
0
⟹
∀
E
⊆
F
:
E
∈
F
)