Holley condition (${\mu }_1(\omega \vee \eta ){\mu }_2(\omega \wedge \eta )\ge {\mu }_1(\omega ){\mu }_2(\eta )$)

The cross-lattice sufficient condition for stochastic comparison of two measures:The join and meet are coordinatewise maximum and minimum on a Boolean configuration cube. Normalization factors cancel, so the condition can be checked using unnormalized positive weights.