Harris' inequality (source code)

= Harris' inequality
{c}

= Harris-Kleitman inequality
{c}
{synonym}

= Harris lemma
{c}
{synonym}

Harris' inequality states that two <increasing events> under an <independent> Bernoulli <product measure> are <positive association of random variables>[positively correlated].