The empty word, denoted by ϵ, is a word over any alphabet. We assume that ϵ is not a symbol of any of our alphabets.