Random-cluster weight monotonicity ($q_1\le q_2⟹{\mu }_{p,q_1}⪰{\mu }_{p,q_2}$)

For fixed $p\in (0,1)$ and $1\le q_1\le q_2$, the random-cluster measure at $q_1$ stochastically dominates that at $q_2$. In Holley's condition, Bernoulli factors cancel. Put $a=k(S)-k(S\cup T)$ and $b=k(S\cap T)-k(T)$; supermodularity of graph component count gives $b\ge a\ge 0$, and the weight ratio is $(q_2/q_1{)}^a{q}_2^{b-a}\ge 1$. The comparison also holds with the same boundary wiring in both measures.