[Moss Liftings [1]}]
Every operation symbol \(\tau /n \in \Sigma \)  yields a predicate
lifting \(\lambda  \)  defined by
\(\lambda  =(\mathcal {Q} ^{n} \overset{\tau  \mathcal {Q}}{\Longrightarrow }T\mathcal {Q} \overset{\nabla ^L}{\Longrightarrow }\mathcal {Q} T^\mathsf {op}),\) 
