A subset of the values of a type. The set of possible values for an object of a given type that can be subjected to a condition called a constraint. A value is said to satisfy the constraint if it satisfies the corresponding condition. There are index constraints, range constraints, and size constraints.