($x$ $\in$ $l$ $\in$ $T$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\exists$$i$:$\mathbb{N}$. (($i$ $<$ $\parallel$$l$$\parallel$) c$\wedge$ ($x$ = $l$[$i$] $\in$ $T$))