Etymology

Today it means: Pertaining to a pair (a, b) of set functions where a is supermodular, b is submodular, and they always satisfy the cross-inequality b(X) - a(Y) > b(X-Y) -a(Y-X) for all X, Y. Full definition →