通常對(duì)問(wèn)題中變量值的限制稱為（），它可以表示成一個(gè)等式或（）的集合。