top $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$isect(void; $x$.void)