Definition
Domain (Constraint Satisfaction)
A domain
of a constraint satisfaction problem is the non-empty set of values that may be assigned to its variables. For a variable set , an assignment has the form Every constraint relation of arity
is a subset , so it specifies which -tuples of domain values are permitted.