1: \begin{definition}\cite[p.~250]{Stevo-SSTC}

2: A tree $T$ is a \emph{special tree} if it

3: can be written as a union of countably many antichains.

4: %(See the equivalent conditions in Theorem~\ref{special-equiv}.)

5: %that is, we can write

6: %\[

7: %T = \bigcup_{n < \omega} A_n,

8: %\]

9: %where each $A_n$ is an antichain.

10: %

11: Otherwise, $T$ is a \emph{nonspecial tree}.

12: \end{definition}

13: