Podmnožinu údajov typu, získaný obmedzujúcich množina možných hodnôt typu údajov. Poznámka: uplatniteľné na podtyp operácie sú rovnaké ako tie pôvodné typu údajov.