| (i) | $M = (\Xi, \mathcal{S})$ is a D1108: Measurable space |
| (ii) | $X_1, \ldots, X_N : \Omega \to \Xi$ are each a D202: Random variable from $P$ to $M$ |
| (i) | $M = (\Xi, \mathcal{S})$ is a D1108: Measurable space |
| (ii) | $X_1, \ldots, X_N : \Omega \to \Xi$ are each a D202: Random variable from $P$ to $M$ |
| ▶ | D5680: Random real number empirical probability distribution measure |