$e$ $<$ ${\it e'}$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$rel\_plus($E$; ($\lambda$$e$,${\it e'}$. pred!($e$;${\it e'}$)))($e$,${\it e'}$)