Remark

The free semi-group on the alphabet A is denoted by A+.

It does not contain the empty word; other than that there is little difference with the free monoid on A.