0. Set of symbols
1. Alphabet
2. Deduction system
3. Theory
4. Zermelo-Fraenkel set theory
5. Set
6. Subset
7. Power set
8. Hyperpower set sequence
9. Hyperpower set
10. Hypersubset
11. Subset algebra
12. Subset structure
13. Measurable space
14. Measure space
15. Probability space
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}
Also known as
Measurable event
Child definitions
» D5500: Almost sure event
» D3439: Event odds
» D4391: Event Shannon information
Results
» R4325: Probability one if conditional probability one relative to event of probability one
» R4637:
» R4711: Probability of complement of event which is not the whole sample space need not be nonzero
» R2164: Probabilistic law of the excluded middle