EXCEPT
EXCEPT
définit la soustraction de deux ensembles de valeurs.
Elle peut être utilisée conjointement avec l'instruction EXCEPT pour définir une complémentarité d'un ensemble de valeurs.
-- Definition d'un type entier comprenant toutes les nombres sauf 0.
MonType1 ::= INTEGER ( ALL EXCEPT (0))
-- Definition d'un type entier comprenant toutes les nombres 1,2,3,4,5 sauf 2,4.
MonType2 ::= INTEGER ((1|2|3|4|5) EXCEPT (2|4))