Definition 2.2.22 (Recursively inseparable). We say that subsets $A,B\subset \mathbb{N}$ are recursively inseparable if they are disjoint and there is no recursive $C\subseteq \mathbb{N}$ with $B\cap C=\varnothing$ and $A\subseteq C$.