Definition Relation (Constraint Satisfaction) A relation R⊆Dr is one possible assignment for a scope S in a constraint C=(S,R).