A subset of a data type, obtained by constraining the set of possible values of the data type. Note: The operations applicable to the subtype are the same as those of the original data type.