A morphism "f" from a free monoid "B" to a free monoid "A" is total if every letter of "A" occurs in some word in the image of "f"; cyclic or periodic if the image of "f" is contained in {"w"} for some word "w" of "A".