Un subconjunto de un tipo de datos, obtenido por restringir el conjunto de posibles valores del tipo de datos. Nota: las operaciones aplicables al subtipo son las mismas que las del tipo de datos original.