SET
ContrainteOption OF
NomDUnType
SET
permet de spécifier que le type correspondant à une liste d'objets non ordonnée.
La contrainte exprimée entre les mots-clé SET
et OF
porte sur le type liste alors que la contrainte qui suit le type d'éléments de la liste porte sur ce dernier.
-- Definition d'une liste d'entiers.
MonType ::= SET OF INTEGER