_________________________________________________________________________________________________________
Set constructors
___________________________________________________________________
All set groups and set elements must be of the same ordinal type. The empty set is denoted by [], and it can be assigned to any type of set. A set group with a range [A..Z] makes all values in the range a set element. If the rst range speci er has a bigger ordinal value than the second the set is empty, e.g., [Z..A] denotes an empty set. The following are valid set constructors:
[today,tomorrow]
[Monday..Friday,Sunday] [ 2, 3*2, 6*2, 9*2 ] ['A'..'Z','a'..'z','0'..'9'] |