(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 |