ge($i$; $j$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$j$ $\leq$ $i$