es{-}causl(${\it es}$; $e$; ${\it e'}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$e$ $<$ ${\it e'}$