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