1: \begin{definition}[Low Basis Theorem]

2: By $\LBT:\In\Tr_2\mto\{0,1\}^\IN$ we denote the multi-valued function with

3: \[\LBT(T):=\{p\in[T]:p'\leqT T'\},\]

4: where $\dom(\LBT):=\{T\in\Tr_2:T$ infinite$\}$.

5: \end{definition}

6: