เซตย่อยของชนิดข้อมูล รับ โดย constraining ชุดของค่าที่เป็นไปได้ของชนิดข้อมูล หมายเหตุ: การดำเนินงานสามารถใช้ได้กับชนิดย่อยจะเหมือนของชนิดข้อมูลต้นฉบับ