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").
Acoplamiento (informática)
El bajo acoplamiento entre las unidades de software es el "estado ideal" que siempre se intenta obtener para lograr una buena programación o un buen diseño. Cuanto "menos dependiente" sean las partes que constituyen un sistema informático, "mejor" será el resultado. Sin embargo, es imposible un desacoplamiento total de las unidades.