Intuitivement, les sèmes sont des << étiquettes >> qui seront attribuées aux différentes entités définies jusqu'ici (sémèmes, taxèmes, spécèmes). Le but de ce formalisme étant d'attribuer finalement les sèmes aux sémèmes, mais par des méthodes différentes instaurant autant de types, nous allons maintenant définir une nouvelle et dernière entité, l'isotopie, qui va assumer ce rôle.
Les sèmes sont les éléments d'une classe d'objets SE non vide,
notés se indicé ou non. La définition des sèmes est du même type
que celle des sémèmes (inhérence de la relation d'identité, notée
).