For a finite graph , the random-cluster model is
where is the number of open edges and the number of open connected components. In the Edwards-Sokal coupling, first sample , assign an independent uniform spin to each open cluster, and give every vertex its cluster's spin. The resulting spin law is the Ising model with
Conversely, from an Ising configuration, close every edge joining unequal spins and independently open each edge joining equal spins with probability .