Knd $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$(:IdLnk $\times$ Id) + Id