- 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.