Solution (source code)

= Solution

A cylinder event in $\{0,1\}^{E(G)}$ is an event determined by the states of finitely many edges. It is increasing when $\omega\in A$ and $\omega'\geq\omega$ coordinatewise imply $\omega'\in A$.