  We remove the hypothesis "$S$ is finite" from the BKR inequality for product
measures on $S^d$, 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.
