Equation 16.3.4E08D87E98114

\begin{equation} \theta _{\varphi \land \psi }^ n\leq \mathds {1}_{\{ \varphi \land \psi =\varphi \} }\, \theta _{\varphi }^ n+\mathds {1}_{\{ \varphi \land \psi =\psi \} } \, \theta _{\psi }^ n. \end{equation}