この可算の共通部分に含まれる各集合は、Σ-可測関数fk{\displaystylef_{k}}についてのあるボレル部分集合の原像であるため、Σの要素である。
注意可数交集中的每一个集合都是A的一个元素，这是因为它是一个波莱尔子集在μ{\displaystyle\mu}-可测函数fk{\displaystylef_{k}}下的原像。