Let $X \in \text{Random} [0, \infty]$ be a D5101: Random unsigned basic number.

Then \begin{equation} X \overset{a.s.}{=} 0 \quad \iff \quad \mathbb{E} X = 0 \end{equation}