User:OdedSchramm/fkg


 * Harris inequality (i.i.d. version)
 * MB terminology: strong FKG condition (the lattice condition), weak FKG (monotone implies correlated
 * four function theorem is more general (Ahlswede-Daykin inequality?)
 * The lattice condition follows from the case of just 2 variables fixing all others.