Un subconjunt d'un tipus de dades, obtingudes per limitar el conjunt de valors possibles dels tipus de dades. Nota: les operacions aplicables a la subtipus són les mateixes que les dels tipus de dades original.