Positive association of the random-cluster model (source code)

= Positive association of the random-cluster model

For $0\leq p\leq1$ and $q\geq1$, the <FKG inequality> implies that increasing functions of a random-cluster configuration have nonnegative covariance. The conclusion can fail for $0<q<1$.