⁶$\mathcal{ℬ}$ should be a non-empty family of Lebesgue-measurable subsets of $Is$.