1: \begin{definition}

2: The random probability measure $Q$ defined in Theorem \ref{thm1} is

3: said to have an optional P\'{o}lya tree distribution with parameters

4: $\bolds\lambda, \bolds\alpha$ and stopping rule $\rho$.

5: \end{definition}