To recover the FKG inequality : If μ satisfies the lattice condition and ƒ and g are increasing functions on X , then μ 1 (x) = g (x) μ (x) and μ 2 (x) = μ (x) will satisfy the lattice-type condition of the Holley inequality. Then the Holley inequality states that