(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.