不会出现的变量取值所对应的（）叫约束项。