Wir betrachten die Menge aller endlichen Strichketten, einschließlich der leeren Kette, also
-
Zwei Strichketten sind genau dann gleich, wenn sie „gleichlang“ sind. Das ausgezeichnete Element ist
. Die Nachfolgerabbildung ist dadurch gegeben, dass einer Strichkette
die um einen Strich verlängerte Strichkette
zugeordnet wird.