。每个限制条件(Constraint)formula_7依序对应一对formula_8,其中 formula_9 是变数的formula_10元组，formula_11 则是在定义域formula_6中，其对应到的子集合上得到的formula_10元组的关系。 变数的定值(evaluation或assignment)是一个函数，其从变数的子集合映射到该变数子集合所对应到的定义域子集合中特定的值组成的集合，也就是如果 formula_16，则此定值formula_17满足条件限制formula_8 。如