Définition :

Nous noterons ces deux projections et , chacune définie sur . Ce sont des fonctions, à l'inverse de leurs réciproques et , définies sur .

Au sein d'un taxème donné, les spécèmes couvrent donc un graphe complet d'oppositions entre les spécèmes. Comme nous le verrons par la suite, il n'est pas nécessaire que chaque spécème corresponde à un sème (ni qu'il se limite à supporter un seul sème, d'ailleurs).

On peut citer quelques relations entre les spécèmes ainsi définis :

• Identité : deux spécèmes seront identiques s'ils ont les mêmes premières et secondes projections. Il s'agit encore ici d'une extension de l'identité   :

  

• Opposition : deux spécèmes seront opposés s'ils sont de la forme et . On note . Il est important de noter que cette relation d'opposition n'est pas celle exprimée dans la sémantique interprétative, puisque cette dernière a lieu entre sémèmes. L'opposition de F. Rastier est en fait exprimée par la forme même du spécème : (s,s') exprime une opposition entre les deux sémèmes s et s', avec .  
• Isosémémie : deux spécèmes seront isosémémiques s'ils ont le même sémème opposé (première projection). Les sèmes spécifiques qu'ils peuvent supporter s'attribueront donc au même sémème. L'identité est un cas particulier de l'isosémémie. On notera .  
• Isotaxémie : deux spécèmes seront isotaxémiques si leurs sémèmes opposés sont deux sémèmes du même taxème (donc leurs sémèmes opposants aussi). L'identité, l'opposition et l'isosémémie sont donc des cas particuliers de l'isotaxémie. On notera .

Les diverses relations binaires entre spécèmes d'un même taxème sont exemplifiées par la figure .

  
Figure: Relations formelles entre spécèmes