多标记成对电位子模块的条件

Question

根据幻灯片5 here，多标记成对能量函数的子模块条件是

for $\alpha < \beta$ and $\alpha' < \beta'$,
    $f(\alpha, \alpha') + f(\beta, \beta') <= f(\alpha, \beta') + f(\alpha', \beta)$

这种不平等如何意味着子模块化？我可以理解二元标签案例的不等式如何暗示子模块性（当我们最初没有任何元素时，选择集合中元素的边际增益更高），但是如何解释多标签情况呢？