Définition :

Cette dernière relation induit naturellement une relation d'équivalence sur S, avec .

Cette relation exprime, précisément, l'appartenance de deux sémèmes à un même taxème.