$X$($e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$do{-}apply($X$;$e$)