An D1716: Event $E \in \mathcal{F}$ in $P$ is an

**almost sure event**in $P$ if and only if \begin{equation} \mathbb{P}(E) = 1 \end{equation}

▾ 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

▾ 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.

An D1716: Event $E \in \mathcal{F}$ in $P$ is an**almost sure event** in $P$ if and only if
\begin{equation}
\mathbb{P}(E) = 1
\end{equation}

An D1716: Event $E \in \mathcal{F}$ in $P$ is an

Also known as

Almost certain event, Event of probability one

Results