(i) | $X : \Omega \to [0, \infty]$ is a D5101: Random unsigned basic number on $P$ |
(i) | $X : \Omega \to [0, \infty]$ is a D5101: Random unsigned basic number on $P$ |
▶ | Basic expectation |
▶ | Probabilistic Tonelli's theorem |
▶ | Random unsigned basic number has zero correlation with the empty indicator |
▶ | Unsigned basic expectation zero iff random number almost surely zero |