fpf{-}dom(${\it eq}$; $x$; $f$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$deq{-}member(${\it eq}$; $x$; ($f$.1))