A D11: Set $E$ is an

**event**in $P$ if and only if \begin{equation} E \in \mathcal{F} \end{equation}

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}

A D11: Set $E$ is an

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 |