Si formula_1 es un alfabeto finito y formula_1 es un monoide libre consistente en todas las cadenas sobre formula_1, f: formula_1 → M es un monoide simétrico donde M es un monoide finito y S es un subconjunto de M entonces el conjunto f(S) es regular.