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