Corollaire :

Aucun taxème n'est un sous-ensemble d'un taxème distinct de lui-même. La cardinalité de T dépend bien entendu de celle de S, mais avec des variations importantes envisageables. Les bornes sont : , en écartant le cas trivial d'un ensemble S possédant moins de deux éléments.