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
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
» D6003: Null event
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: Law of the excluded middle in probability calculus