Definition. Empty string [empty-string]

We often will talk about the empty string, so we have a special symbol for it: $\varepsilon$.