Korrelationsungleichung
Korrelationsungleichung

=== Weitere Formulierungen ===
In Rinott, Saks findet sich der Beweis für eine Form der FKG-Ungleichung für -finite Maße auf der (überabzählbaren) Menge .
In diesem Fall wird Log-Supermodularität eines Maßes über die Dichtefunktion  (bezüglich irgendeines Produktmaßes auf ) definiert, welche für alle  erfüllen muss:
Die ''Griffith-Ungleichung'' ist eine weitere Ungleichung von 1967, welche die gleiche Aussage macht wie die FKG-Ungleichung, jedoch andere Voraussetzungen hat und Anwendung auf dem Gebiet des Ising-Modells hat.