A morphism "f" from a free monoid "B" to a free monoid "A" is simplifiable if there is an alphabet "C" of cardinality less than that of "B" such the morphism "f" factors through "C", that is, it is the composition of a morphism from "B" to "C" and a morphism from that to "A"; otherwise "f" is elementary.