More generally, if "S" is an abstract free monoid (semigroup), then a set of elements which maps onto the set of single-letter words under an isomorphism to a semigroup "A" (monoid "A") is called a "set of free generators" for "S".