第三种推导方法通过使用两条简单的假设得到。为了简单起见，我们将 over 运算符简记成 formula_11。第一条假设是当背景是不透明（即 formula_12）时，over 运算符表示前景颜色与背景颜色的凸组合：第二条假设是这种运算应该满足结合律：现在，可以假设 formula_15 和 formula_16 包含不透明度分量，而 formula_17 不包含。考虑中间变量由于结合律成立，有由于 formula_17 是不透明的，因此 formula_21 也是不透明的。由第二条假设