Include

Declaration:
Procedure Include (Var S : Any set type; E : Set element);
Description:
Include includes E in the set S if it is not yet part of the set. E should be of the same type as the base type of the set S.

Thus, the two following statements do the same thing:

 S:=S+[E];
 Include(S,E);
Errors:
If the type of the element E is not equal to the base type of the set S, the compiler will generate an error.
See also:
Exclude (488)

For an example, see Exclude (488)