C(r) = ⟨σ₀σᵣ⟩ − ⟨σ⟩². At T_c ≈ 2.269 (J=1), correlation length ξ diverges: C(r) ~ r^(−(d−2+η)). Below T_c: long-range order. Above: exponential decay.