Một tập hợp con của một loại dữ liệu, thu được bằng cách thiết lập các giá trị có thể loại dữ liệu constraining. Lưu ý: các hoạt động áp dụng cho các phiên bản là giống như những loại dữ liệu ban đầu.