On désire ici éliminer purement et simplement un sémème de l'ensemble de la structure. Nous nommerons cette élimination elim(s). Soit l'opération portant sur le sémème s du taxème t, nous obtenons la suite d'opérateurs suivante :
