Ahlswede–Daykinova Nejednakost

Ova nejednakost iskazu je ako je ƒ_i, i = 1, 2, 3, 4 su pozitivne funkcije na konačnoj distributivnoj rešeci, tako da je

${\displaystyle f_{1}(x)f_{2}(y)\leq f_{3}(x\vee y)f_{4}(x\wedge y)}$

za sve x, y u rešeci, tada je

${\displaystyle f_{1}(X)f_{2}(Y)\leq f_{3}(X\vee Y)f_{4}(X\wedge Y)}$

za sve podskupove X, Y rešetke, gdje je

${\displaystyle f(X)=\sum _{x\in X}f(x)}$

i

${\displaystyle X\vee Y=\{x\vee y|x\in X,y\in Y\}}$
${\displaystyle X\wedge Y=\{x\wedge y|x\in X,y\in Y\}.}$

Povezana je sa FKG nejednakosti, te povlači za sobom Holleyjevu u Fishburn–Sheppovu nejednakost.