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.