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