制約
せいやく limitation restriction condition constraints

制約伝搬
せいやくでんぱん constraint propagation

制約条件
せいやくじょうけん limiting conditions