"s" = bear且"t" = hug，则"st" = bearhug而"ts" = hugbear。字符串串接是结合性的，但非交换性运算。空串充当单位元；对于任何字符串"s"，有ε"s" = "s"ε = "s"。所以，集合Σ*和串接运算形成了幺半群，就是从Σ生成的自由幺半群。此外，长度函数定义了一个从Σ*到非负整数的幺半群同态。字符串"s"被称为是字符串"t"的“子串”（）或“因子”（），如果存在（可能为空）字符串"u"和"v"使得"t" = "usv"。“是其子串”关系定义了在Σ*上的偏序，