Définition :

S est l'ensemble non vide des sémèmes, ses éléments seront notés s, indicé ou non. L'identité des éléments de S est inhérente à cet ensemble (basée naïvement sur la forme de ces éléments), et notée .

La cardinalité de l'ensemble S est susceptible d'évolution au cours du processus interprétatif : elle n'en reste pas moins finie.