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").
Conjunto (programación)
En informática, un conjunto es una colección (contenedor) de ciertos valores, sin ningún orden concreto ni valores repetidos. Su correspondencia en las matemáticas sería el conjunto finito. Sin tener en cuenta la secuencia, ni el hecho de que no haya valores repetidos, se asemeja a una lista. Un conjunto puede verse como una cadena asociativa (array) (mapeado parcial) donde no se atiende al valor de cada par clave-valor.