6
should be a non-empty family of Lebesgue-measurable subsets of
I
s
.