Een subset van een gegevenstype, verkregen door het beperken van het aantal mogelijke waarden van het gegevenstype. Opmerking: de toepassing op het subtype bewerkingen zijn dezelfde als die van het oorspronkelijke gegevenstype.