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").
El fin de la Eternidad
El rango superior se conoce como Informática -fiel al significado original, son los que realizan cálculos complejos, con o sin ayudas artificiales. En este caso, tienen acceso a un "Computaplex" o "máquinas computantes". Asimov fue adelantado en su tiempo al reconocer los límites de los dispositivos de este tipo -que dependen de los supuestos de los que se les alimenta-. También está el pequeño inevitable elemento de incertidumbre que no se puede eliminar.