1: \begin{definition}\label{def:probcomp}

2:   A set of (possibly) infinite trees $\mathscr{S}$ is said to be a \emph{set of probabilistic computations} if

3:   $\pcompone\in\mathscr{S}$ iff (exactly) one of the following three conditions holds:

4:   \begin{varenumerate}

5:   \item\label{clause:pcfc}

6:     $\pcompone=[\confone]$ and $\confone\in\conf$.

7:   \item

8:     $\pcompone=[\confone,\pcomptwo]$, where

9:     $\confone\in\conf$, $\pcomptwo\in\mathscr{S}$ has root $\conftwo$ and 

10:     $\confone\redto_{\nonmeasrul} \conftwo$

11:   \item

12:     $\pcompone=[(p,q,\confone),\pcomptwo,\pcompthree]$, where

13:     $\confone\in\conf$, $\pcomptwo,\pcompthree\in\mathscr{S}$ have

14:     roots $\conftwo$ and  $\confthree$, 

15:     $\confone\ppredto{meas_r}{p}\conftwo$,

16:     $\confone\ppredto{meas_r}{q}\confthree$ and $p,q\in\mathbb{R}_{[0,1]}$;

17:   \end{varenumerate}

18:   The set of all (respectively, the set of finite) probabilistic computations is the largest set $\mathscr{P}$

19:   (respectively, the smallest set $\mathscr{F}$) of probabilistic computations with respect to set inclusion.

20:   $\mathscr{P}$ and $\mathscr{F}$ exist because of the Knapster-Tarski Theorem.

21: \end{definition}

22: