Un sottoinsieme di un tipo di dati ottenuto da vincolare l'insieme dei possibili valori del tipo di dati. Nota: le operazioni applicabili per il sottotipo sono le stesse di quelle del tipo di dati originale.