= Holley condition
{c}
{title2=$\mu_1(\omega\vee\eta)\mu_2(\omega\wedge\eta)\ge\mu_1(\omega)\mu_2(\eta)$}
= Holley's condition
{c}
{synonym}
The cross-lattice sufficient condition for stochastic comparison of two measures:
$$
\mu_1(\omega\vee\eta)\mu_2(\omega\wedge\eta)\ge\mu_1(\omega)\mu_2(\eta).
$$
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.
Back to article page
