Un sous-ensemble d'un type de données, obtenu en contraignant l'ensemble des valeurs possibles du type de données. Remarque : les opérations applicables au sous-type sont les mêmes que ceux du type de données originale.