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

2: A  \emph{requirement} is a set $\Kcal^{X, \Gcal}$ of finite strings over~$h$

3: which is closed under extensions and is defined by

4: $$

5: \Kcal^{X, \Gcal} = \{\tau \in h^{<\omega} : (\exists F \subseteq_{fin} \Odd(\Gcal)) R^X_\Kcal(\tau, F) \}

6: $$

7: for an $X$-computable relation $R^X_{\Kcal}$ such that if $R^X_\Kcal(\tau, F)$ holds for a finite set of pairs~$F$,

8: and $F_1$ is a finite set of singletons extensibles to pairs in~$F$ -- that is 

9: $(\forall \{z\} \in F_1)(\exists \{x,y\} \in F)[z \in \{x, y\}]$ -- then $R^X_\Kcal(\tau, F_1)$ also holds.

10: This last property will be used in the proof of Theorem~\ref{thm:uniform-to-settling}.

11: \end{definition}

12: