FKG inequality (source code)

= FKG inequality
{c}
{wiki}

The FKG inequality gives positive association under a log-supermodular probability measure on a finite distributive lattice.