Les taxèmes sont des ensembles de sémèmes, et leur organisation forme une partition de S. Les taxèmes forment donc une catégorisation des sémèmes permettant par la suite d'opérer des différenciations entre les sémèmes sous la forme d'oppositions entre eux.