String

see substring, superstring, type, math notation

definition a string is a list of characters

definition a string on a set S is a sequence of elements of S

String Homomorphism

--- https://en.wikipedia.org/wiki/String_operations#String_homomorphism

see homo‹morphism

definition a string homomorphism is a monoid› homomorphism on the monoid formed by strings under list › concatenation

a function is a string› homomorphism if and only if it maps every character of the input string to a sequence of (zero or more) characters in the output string