Van den Berg-Kesten inequality (source code)

= 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)$.