et 
.
SP désignera l'ensemble des spécèmes, notés sp (indéxé ou non).
SP est donc un sous-ensemble strict non vide du produit cartésien
. Nous écartons comme d'habitude les cas triviaux où S
est réduit à moins de deux éléments et où T est vide.
À tout sémème s qui appartient au taxème t correspondent (|t|-1) spécèmes dont la première composante est s.
Donc, la cardinalité de SP est connue et vaut
.
Nous appellerons sémème opposé la première projection d'un spécème, et sémème opposant la seconde projection.