ThmDex – An index of mathematical definitions, results, and conjectures.
Set of symbols
Alphabet
Deduction system
Theory
Zermelo-Fraenkel set theory
Set
Subset
Power set
Hyperpower set sequence
Hyperpower set
Hypersubset
Subset algebra
Subset structure
Measurable space
Measure space
Probability space
Definition D1716
Event
Formulation 0
Let $P = (\Omega, \mathcal{F}, \mathbb{P})$ be a D1159: Probability space.
A D11: Set $E$ is an event in $P$ if and only if \begin{equation} E \in \mathcal{F} \end{equation}
Children
Almost sure event
Event Shannon information
Event odds
Null event
Results
R4637
Law of the excluded middle in probability calculus
Probability one if conditional probability one relative to event of probability one