We write \(\lambda /n\)  to indicate that \(\lambda  \) 
has arity \(n\) . A predicate lifting \(\lambda  \)  is monotone if
it preserves set inclusion in every argument. A set \(\Lambda  \)  of
predicate liftings is
separating [1]}, [2]} if every \(t\in TX\) 
is uniquely determined by the set
\(\mathcal {T}_\Lambda  (t) = \lbrace  (\lambda , A_1, \ldots , A_n) \mid \lambda /n\in \Lambda ,A_i\in \mathcal {Q} X \text{ and } t\in \lambda  _X(A_1, \ldots ,A_n) \rbrace .\) 
