Алфавит

проверено

Определение 1. Алфавитом¹⁾ называется всякое непустое конечное множество символов. При этом символы алфавита называются буквами²⁾.

Определение 2. Словом³⁾ в алфавите называется всякая конечная последовательность букв алфавита.

Определение 3. Пустая последовательность букв называется пустым словом⁴⁾ и обозначается .

• Мендельсон Э. «Введение в математическую логику», Либроком, 2010.