Un sous-ensemble d'un type de données, obtenu en limitant 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 original.