FKG lattice condition ($P(\omega \wedge \eta )P(\omega \vee \eta )\ge P(\omega )P(\eta )$)

This lattice condition on configuration masses is the hypothesis of the FKG inequality. A product measure on a finite Boolean lattice satisfies it with equality, since in each coordinate the minimum and maximum retain the original two coordinate values. It implies positive association of random variables for increasing functions.