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").
Álgebra de las palabras
Dado un conjunto formula_1 sin elementos expresados mediante sucesiones finitas de sus propios elementos, si formula_66 entonces: Se llama operación concatenación entre sucesiones finitas a: