 Reflection positivity

A measure is reflection positive for a reflection $\vartheta$ when $\mathbb{E}[F\vartheta F]\ge 0$ for every observable $F$ supported in one reflected half. Product measures and suitable ferromagnetic interactions satisfy this property.