Egy alhalmaz-ból nyert korlátozó lehetséges értékek adattípusa adattípus. Megjegyzés: az altípus vonatkozó műveletek is megegyeznek az eredeti adat típusa.