定义为一个三元组formula_1,其中每个变数formula_5可以在非空的定义域formula_6中取出。每个限制条件(Constraint)formula_7依序对应一对formula_8,其中 formula_9 是变数的formula_10元组，formula_11 则是在定义域formula_6中，其对应到的子集合上得到的formula_10元组的关系。 变数的定值(evaluation或assignment)是一个函数，其从变数的子集合映射到该变数子集合所对应到的定义域子集合中特定的值组成