Une des contraintes les plus fortes concerne le statut du graphe d'opposition d'un taxème. Rappelons que l'ensemble des spécèmes activés opposant les sémèmes d'un taxème doit former un graphe faiblement complet. La seconde contrainte est l'obligation d'avoir au moins un spécème activé partant de chaque sémème du taxème. Cependant, nous verrons que lors de la création et du <<remplissage>> d'un taxème, cette contrainte peut être vérifiée aisément. Il ne reste donc qu'à nous intéresser à la faible complétude.
Nous allons donc décrire l'opérateur comp(t), qui va satisfaire cette contrainte, en appliquant l'opérateur précédent, d'activation d'un spécème.
Soit le taxème t, comportant les sémèmes 
. Pour chaque
couple de sémèmes 
, 
, 
, il faut donc vérifier si
ou 
est activé. Si ce n'est pas le cas, il
faut donc activer l'un des deux. Le choix du spécème à activer est
arbitraire, disons , avec i < j. Il suffit donc
d'appliquer l'opérateur 
.
Une fois tous les couples envisagés, la contrainte est vérifiée.