Définition :

T est l'ensemble des taxèmes, ses éléments seront notés t, indicé ou non. T est un sous-ensemble non-vide strict de l'ensemble des parties de S : ( ). t est donc un ensemble non vide d'éléments de S, de cardinalité |t| supérieure ou égale à 2.

L'identité de deux taxèmes se base sur les sémèmes qui leur appartiennent : c'est une identité extensionnelle. D'où :

Il s'agit donc d'une extension de la relation .