数学st是约束于的符号，在数学的线性规划问题中，在数学中约束是一个最佳化问题的解需要符合的条件。约束可分为等式约束及不等式约束。符合所有约束的解的集合称为可行集或是候选解。

在分析某些具体的逻辑函数时，经常会遇到这样一种状况，即输入变量的取值不是任意的。对输入变量取值所加的限制成为约束。若一拘束条件在特定点时为一等式，称为束缚拘束，因为此点无法在拘束的方向移动。