Definition

An alphabet is a non-empty finite set of symbols.

Properties

Since is finite, it is decidable whether a given object is a member of .

Remarks

Common examples include or . In practice ASCII or Unicode are comon choices.