McCormick 包络（McCormick envelope）是用来线性化双线性项 的。

设 ，并引入辅助变量w表示xy，即w=xy（这是一个马鞍面）。McCormick 包络用下面这四个超平面近似：

其中 都是常数，所以这些约束都是线性的。

对于单个双线性项在矩形域上，McCormick 包络是理论最优的线性松弛（凸包），效果“最好”；但对于复杂的多双线性项问题，它通常只是基础且有效的松弛工具，紧度取决于问题结构和变量边界，往往需要与其他方法结合。