1: \begin{definition}[Uniformly stratified estimators]
2: \label{def:stratified} %{{{
3: Let $n\in\N$, and assume $U^{(j)}$ are independent
4: $U\big(\frac{j-1}{n},\frac{j}{n}\big)$ random variables for $j=1,\ldots,n$.
5: Let $R^{(j)} = F^{-1}(U^{(j)})$.
6: \begin{enumerate}[(i)]
7: \item \label{item:strat-single}
8: Define $N_i \defeq \sum_{j=1}^n \charfun{R^{(j)}=i}$,
9: then the estimator
10: $Z_\str^{(n)}$ defined as in Theorem
11: \ref{thm:general} is the \emph{uniformly stratified single term
12: estimator}.
13: \item \label{item:strat-sum}
14: Define $\tilde{N}_i \defeq \sum_{j=1}^n \charfun{R^{(j)}\ge i}$,
15: then the estimator
16: $Z_{\sumsymb,\str}^{(n)}$ defined as in
17: Theorem \ref{thm:general} is the \emph{uniformly stratified sum
18: estimator}.
19: \end{enumerate}
20: \end{definition}