AbsInterface($A$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$E$\rightarrow$($A$ + Top)