Definitions for "alphabet A"
a non-empty, but finite, set of symbols