Equation 13.13.1537A13FA36078

\begin{equation} \theta _{\varphi \lor \psi }^ n\geq \mathds {1}_{\{ \varphi \geq \psi \} }\, \theta _{\varphi }^ n+\mathds {1}_{\{ \varphi <\psi \} }\, \theta _{\psi }^ n. \end{equation}