enumerated type

    (Or "enumeration") A type which includes in
   its definition an exhaustive list of possible values for
   variables of that type.  Common examples include Boolean,
   which takes values from the list [true, false], and
   day-of-week which takes values [Sunday, Monday, Tuesday,
   Wednesday, Thursday, Friday, Saturday].  Enumerated types are
   a feature of strongly typed languages, including C and
   Ada.

   Characters, (fixed-size) integers and even floating-point
   types could be (but are not usually) considered to be (large)
   enumerated types.

   (1996-11-28)