Sekumpulan tipe data, yang diperoleh dengan membatasi seperangkat nilai-nilai tipe data yang tersedia. Catatan: operasi berlaku untuk subtipe yang sama seperti yang dari jenis data asli.