Constraint

• Set of compound labels

• Alt., relation between legal values of vars

• Constraint C is over set V of variables

• All CLs in C have domain V

• CL X satisfies C if exists L in C s.t. L Í X

• That is, X satisfies C if it agrees with some alternative in C