Un type énuméré est une séquence ordonnée d'identificateurs.
type
identificateur = (id1, id2,..., idn) ;
type
couleur = (jaune, vert, rouge, bleu, marron );
semaine =(lundi,mardi,mercredi,jeudi,vendredi, samedi,dimanche);
reponse = (oui, non, inconnu);
sexe = (masculin, féminin);
voyelle = (A, E, I, O, U);
Le mot réservé type ne doit être écrit qu'une seule fois.
Deux types énumérés différents ne peuvent contenir le même identificateur. Les ensembles énumérés sont donc disjoints.
La séquence de valeurs étant ordonnée, le système connaît les successeurs et prédécesseurs d'un élément :
mardi : prédécesseur de mercredi.
mercredi : successeur jeudi.