The van den Berg–Kesten–Reimer operator and inequality for infinite spaces

We remove the hypothesis “S is finite” from the BKR inequality for product measures on Sᵈ, which raises some issues related to descriptive set theory. We also discuss the extension of the BKR operator and inequality, from 2 events to 2 or more events, and we remove, in one sense, the hypothesis that d be finite.