Palabra (matemáticas)
La operación de concatenación es asociativa y tiene a la palabra vacía como elemento neutro, por lo que el conjunto "A" adquiere estructura de monoide, mientras que el conjunto de palabras no vacías adquiere estructura de semigrupo., denominados respectivamente monoide libre y semigrupo libre (sobre el alfabeto "A").
Composición de objetos
En ciencias de la computación, la composición de objetos es una forma de combinar objetos o tipos de datos en otros más complejos. Las composiciones se relacionan con, pero no son las mismas que, las estructuras de datos y las que son más comunes son la unión etiquetada, el conjunto, la secuencia y varias estructuras gráficas, así como el objeto utilizado en la programación orientada a objetos.