在数学中，约束（）是一个最佳化问题的解需要符合的条件。约束可分为等式约束及不等式约束。符合所有约束的解的集合称为可行集（feasible set）或是候选解（candidate solution）。
范例.以下是一个最佳化的问题：其拘束条件为and其中 formula_4 表示向量 ("x", "x")。上例中，第一行定义要最佳化的函数（称为目标或费用函数），第二、三行定义二个约束条件，一个是不等式约束，另一个是等式约束，这二个约束定义了候选解的范围。若没有约束