Описатель множества определяет значения множественного типа
и получается путем записи выражений, заключенных в квадратные
скобки ([]). Каждое выражение определяет значение множества.
┌───┐ ┌───┐
описатель ───>│ [ ├──┬────────────────────────>│ ] ├───>
множества └───┘ │ ┌────────────┐ ^ └───┘
└───>│ группа ├──┬─┘
^ │ элементов │ │
│ └────────────┘ │
│ ┌───┐ │
└────┤ , │<────────┘
└───┘
┌───────────┐
группа элементов ──>│ выражение ├──┬───────────────────────────>
└───────────┘ │ ^
│ ┌──┐ ┌───────────┐ │
└─>│..├──>│ выражение ├─┘
└──┘ └───────────┘
Обозначение [ ] означает пустое множество, тип которого сов-
местим по присваиванию с типом любого множества. Любая группа
элементов, описанная, как х..у, объявляет элементами множества
все значения в диапазоне х..у. Если х больше, чем у, то х..у не
описывает никаких элементов и [x..y] обозначает пустое множество.
В конкретном описателе множества все значения выражения в
группах элементов должны быть одного порядкового типа.
Приведем некоторые примеры описателей множеств:
[red, C, green]
[1,5,10..K mod 12, 13, 23]
['A'..'Z', 'a'..'z', Chr(Digit+48)]