vitaly_l писал(а): if элемент in множество then ...
Правильно отсутствует. Это не специальная конструкция, вариант условного оператора в этой части безальтернативен:
- Код: Выделить всё
- if условие then ...
где "условие" -- это любое синтаксически верное логическое значение (Boolean).
В свою очередь, для операций с множествами определена операция принадлежности элемента множеству, возвращающая логическое значение. Это выражение может быть использовано в любом месте, где допустимо логическое выражение, как и любое другое логическое выражение, например,
- Код: Выделить всё
- const
 LLatin = ['a'..'z'];
 var
 t: Boolean;
 begin
 t:='A' in LLatin;
 end.
 
То есть, никакого специального синтаксиса условного оператора (
if) с операцией принадлежности элемента множеству (e 
in s) не существует, в отличие от специального синтаксиса "
for элемент 
in контейнер 
do оператор", где in именно часть оператора, а не операция принадлежности. Использование для операций слов вместо знаков в языке паскаль не редкость, достаточно вспомнить целочисленное деление 
div, остаток от деления нацело 
mod, проверку типа 
is...