Van den Berg-Kesten inequality
= Van den Berg-Kesten inequality
{c}
{wiki=Van_den_Berg–Kesten_inequality}
= BK inequality
{c}
{synonym}
For increasing events $A,B$ in a product percolation measure, their disjoint occurrence satisfies $\mathbb P(A\mathbin\square B)\leq\mathbb P(A)\mathbb P(B)$.