Окремий тип даних, отриманих обмежувальний характер набір можливих значень типу даних. Примітка: операцій, що застосовуються до підтипом такі ж, як ті, з вихідних даних.